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.
Copyright (c) 2000, 2004 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono
disponibili secondo i termini della Eclipse Public License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html