Description: The workbench provides one common dialog box for preferences. The purpose of this extension point is to allow plug-ins to add pages to the preference dialog box. When the preference dialog box is opened (initiated from the menu bar), pages contributed in this way will be added to the dialog box.
The preference dialog box provides for hierarchical grouping of the pages. For this reason, a page can optionally specify a category attribute. This attribute represents a path composed of parent page IDs separated by '/'. If this attribute is omitted or if any of the parent nodes in the path cannot be found, the page will be added at the root level.
<!ELEMENT page EMPTY> <!ATTLIST page id CDATA #REQUIRED name CDATA #REQUIRED class CDATA #REQUIRED category CDATA #IMPLIED >
The following is an example for the preference extension point:
<extension point="org.jlense.uiworks.preferencePages"> <page id="com.xyz.prefpage1" name="XYZ" class="com.xyz.prefpages.PrefPage1"> </page> <page id="com.xyz.prefpage2" name="Keyboard Settings" class="com.xyz.prefpages.PrefPage2" category="com.xyz.prefpage1"> </page> </extension>
API Information: The value of the attribute class must represent a fully qualified name of the class that implements org.jlense.uiworks.workbench.IWorkbenchPreferencePage.
Supplied Implementation: The workbench adds several pages for setting the preferences of the platform. Pages registered through this extension will be added after them according to their category information.