Parole chiave

org.eclipse.ui.keywords

3.1

Il punto di estensione delle parole chiave definisce le parole chiave e un id univoco a cui fare riferimento da altri schemi. Fare riferimento a propertyPages e preferencePages.

<!ELEMENT extension (keyword*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT keyword EMPTY>

<!ATTLIST keyword

id    CDATA #REQUIRED

label CDATA #REQUIRED>