<!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>
Elemento que describe la definición de un nuevo ámbito de preferencias de un cliente.
<!ELEMENT initializer EMPTY>
<!ATTLIST initializer
class CDATA #REQUIRED>
Elemento que define la clase que debe utilizarse para la inicialización de preferencias de entorno de ejecución.
<!ELEMENT modifier EMPTY>
<!ATTLIST modifier
class CDATA #REQUIRED>
Elemento que define la clase que se utilizará para la escucha de modificación de preferencias.
<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()
) es el gancho al mecanismo de preferencias de Eclipse.
Copyright (c) 2004, 2005 IBM Corporation y otros.
Reservados todos los derechos. Este programa y sus materiales adjuntos están
disponibles bajo los términos de la licencia pública común (Eclipse Public
License) v1.0 que acompaña a esta distribución, y está disponible en
http://www.eclipse.org/legal/epl-v10.html