| package org.eclipse.ui; |
| |
| /* |
| * (c) Copyright IBM Corp. 2000, 2001. |
| * All Rights Reserved. |
| */ |
| import org.eclipse.jface.preference.IPreferencePage; |
| |
| /** |
| * Interface for workbench preference pages. |
| * <p> |
| * Clients should implement this interface and include the name of their class |
| * in an extension contributed to the workbench's preference extension point |
| * (named <code>"org.eclipse.ui.preferencePages"</code>). |
| * For example, the plug-in's XML markup might contain: |
| * <pre> |
| * <extension point="org.eclipse.ui.preferencePages"> |
| * <page id="com.example.myplugin.prefs" |
| * name="Knobs" |
| * class="com.example.myplugin.MyPreferencePage" /> |
| * </extension> |
| * </pre> |
| * </p> |
| */ |
| public interface IWorkbenchPreferencePage extends IPreferencePage { |
| /** |
| * Initializes this preference page for the given workbench. |
| * <p> |
| * This method is called automatically as the preference page is being created |
| * and initialized. Clients must not call this method. |
| * </p> |
| * |
| * @param workbench the workbench |
| */ |
| void init(IWorkbench workbench); |
| } |
