Pages des préférences
Identificateur :
org.eclipse.ui.preferencePages
Description :
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.
Marques de configuration :
<!ELEMENT extension (page*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - identificateur qualifié complet du point d'extension cible
- id - identificateur facultatif de l'instance
d'extension
- name - nom facultatif de l'instance d'extension
<!ELEMENT page (keywordReference*)>
<!ATTLIST page
id CDATA #REQUIRED
name CDATA #REQUIRED
class CDATA #REQUIRED
category CDATA #IMPLIED>
- id est le nom unique utilisé pour identifier la page.
- name - nom traduisible utilisé dans l'interface
utilisateur pour cette page.
- class - nom qualifié complet de la classe qui implémente
org.eclipse.ui.IWorkbenchPreferencePage.
- category - chemin d'accès indiquant l'emplacement de
la page dans l'arborescence des préférences. Ce chemin peut être soit un ID noeud parent ou une séquence d'ID séparés par une barre oblique (/), représentant le chemin d'accès complet à partir du noeud racine.
<!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.
- id - ID du mot clé auquel il est fait référence.
Exemples :
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>
Informations d'API :
La
valeur de l'attribut class doit correspondre au nom qualifié
complet d'une classe implémentant
org.eclipse.ui.IWorkbenchPreferencePage.
Implémentation fournie :
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.
Copyright (c) 2002, 2005 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont distribués sous licence Eclipse v1.0 et disponibles à l'adresse suivante :http://www.eclipse.org/legal/epl-v10.html