Description : le plan de travail fournit une boîte de dialogue commune pour les préférences. Le but de ce point d'extension est de permettre aux plug-ins d'ajouter des pages à la boîte de dialogue des préférences. Lorsque cette boîte est ouverte (initialisée à partir de la barre de menus), les pages contribuées de la sorte sont ajoutées à la boîte de dialogue.
La boîte de dialogue des préférences fournit un regroupement hiérarchique des pages. C'est pour cette raison qu'une page peut en option spécifier un attribut category. Cet attribut représente un chemin d'accès composé d'ID page parent, séparés par une barre oblique (/). Si cet attribut est omis ou si aucun noeud parent ne peut être trouvé dans le chemin d'accès, la page est ajoutée au niveau racine.
Marques de configuration :
<!ELEMENT page EMPTY>
<!ATTLIST page
id
CDATA #REQUIRED
name
CDATA #REQUIRED
class
CDATA #REQUIRED
category
CDATA #IMPLIED
>
L'exemple ci-dessous montre un point d'extension de préférence.
<extension
point="org.eclipse.ui.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>
Informations d'API : la valeur de l'attribut class doit représenter le nom complet qualifié de la classe qui implémente org.eclipse.ui.IWorkbenchPreferencePage.
Implémentation fournie : le plan de travail ajoute plusieurs pages pour définir les préférences de la plateforme. Les pages enregistrées via cette extension seront ajoutées après elles, en fonction des informations relatives à la catégorie.