Pages des préférences

org.eclipse.ui.preferencePages

Le plan de travail fournit une boîte de dialogue 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.

<!ELEMENT extension (page*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT page (keywordReference*)>

<!ATTLIST page

id       CDATA #REQUIRED

name     CDATA #REQUIRED

class    CDATA #REQUIRED

category CDATA #IMPLIED>


<!ELEMENT keywordReference EMPTY>

<!ATTLIST keywordReference

id CDATA #REQUIRED>

Référence par une page de préférences à un mot clé. Reportez-vous au point d'extension des mots clés.



L'exemple ci-dessous illustre le point d'extension des préférences :

   

<extension point=

"org.eclipse.ui.preferencePages"

>

<page id=

"com.xyz.prefpage1"

name=

"XYZ"

class=

"com.xyz.prefpages.PrefPage1"

>

<keywordReference id=

"xyz.Keyword"

/>

</page>

<page id=

"com.xyz.prefpage2"

name=

"Paramètres clavier"

class=

"com.xyz.prefpages.PrefPage2"

category=

"com.xyz.prefpage1"

>

</page>

</extension>

La valeur de l'attribut class doit correspondre au nom qualifié complet d'une classe implémentant org.eclipse.ui.IWorkbenchPreferencePage.

Le plan de travail ajoute plusieurs pages pour déterminer 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.