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); | |
} |