<!ELEMENT extension (scope* , initializer* , modifier*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT scope EMPTY>
<!ATTLIST scope
name CDATA #REQUIRED
class CDATA #REQUIRED>
L'elemento che descrive la definizione di un client dell'ambito di una nuova preferenza.
<!ELEMENT initializer EMPTY>
<!ATTLIST initializer
class CDATA #REQUIRED>
Elemento che definisce la classe da utilizzare per l'inizializzazione delle preferenze al momento del runtime.
<!ELEMENT modifier EMPTY>
<!ATTLIST modifier
class CDATA #REQUIRED>
Elemento che definisce la classe da utilizzare per l'attesa della modifica delle preferenze.
<extension point=
"org.eclipse.core.runtime.preferences"
>
<scope name=
"foo"
class=
"com.example.FooPrefs"
/>
<initializer class=
"com.example.MyPreferenceInitializer"
/>
<modifier class=
"com.example.MyModifyListener"
/>
</extension>
org.eclipse.core.runtime.Platform.getPreferencesService()
) rappresenta l'hook nel meccanismo delle preferenze Eclipse.
Copyright (c) 2004, 2005 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