Contextes

org.eclipse.ui.contexts

3.0

Le point d'extension org.eclipse.ui.contexts sert à déclarer des contextes et des éléments associés.

<!ELEMENT extension (context)>

<!ATTLIST extension

id    CDATA #IMPLIED

name  CDATA #IMPLIED

point CDATA #REQUIRED>


<!ELEMENT context EMPTY>

<!ATTLIST context

description CDATA #IMPLIED

id          CDATA #REQUIRED

name        CDATA #REQUIRED

parentId    CDATA #IMPLIED>

Cet élément est employé pour définir des contextes. Si plusieurs de ces éléments possèdent le même attribut id, seul le dernier élément déclaré (dans l'ordre de lecture du registre) est considéré valide.



Le fichier plugin.xml dans le plug-in org.eclipse.ui utilise le point d'extension org.eclipse.ui.contexts.

Il n'existe actuellement aucune API publique pour déclarer des contextes ou des éléments associés autres que ce point d'extension.