Contesti

org.eclipse.ui.contexts

3.0

Il punto di estensione org.eclipse.ui.contexts viene utilizzato per dichiarare contesti ed elementi associati.

<!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>

Questo elemento è utilizzato per definire i contesti. Se esistono più elementi di questo tipo con lo stesso attributo id, viene considerato valido solo l'ultimo elemento dichiarato (in ordine di lettura del registro).



Il file plugin.xml nel plugin org.eclipse.ui fa uso del punto di estensione org.eclipse.ui.contexts.

Non è attualmente presente un'API pubblica per la dichiarazione dei contesti o elementi associati diversa da questo punto di estensione.