Páginas de preferencias

org.eclipse.ui.preferencePages

El entorno de trabajo proporciona un recuadro de diálogo común para las preferencias. El propósito de este punto de extensión es permitir que los conectores añadan páginas al recuadro de diálogo de preferencias. Cuando se abre el recuadro de diálogo de preferencias (iniciado desde la barra de menús), se añadirán al recuadro de diálogo las páginas que se han suministrado de esta forma.

El recuadro de diálogo de preferencias proporciona un agrupamiento jerarquizado de las páginas. Por este motivo, una página puede especificar opcionalmente un atributo category. Este atributo representa una vía de acceso compuesta por los ID de las páginas padre separados mediante una barra inclinada, '/'. Si se omite este atributo, o si no alguno de los nodos padre no se encuentra en la vía de acceso, la página se añadirá al nivel raíz.

<!ELEMENT extension (page*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT page (keywordReference*)>

<!ATTLIST page

id       CDATA #REQUIRED

name     CDATA #REQUIRED

class    CDATA #REQUIRED

category CDATA #IMPLIED>


<!ELEMENT keywordReference EMPTY>

<!ATTLIST keywordReference

id CDATA #REQUIRED>

Una referencia por una página de preferencias a una palabra clave. Consulte el punto de extensión de palabras clave.



A continuación figura un ejemplo de del punto de extensión de preferencias:

   

<extension point=

"org.eclipse.ui.preferencePages"

>

<page id=

"com.xyz.prefpage1"

name=

"XYZ"

class=

"com.xyz.prefpages.PrefPage1"

>

<keywordReference id=

"xyz.Keyword"

/>

</page>

<page id=

"com.xyz.prefpage2"

name=

"Valores de teclado"

class=

"com.xyz.prefpages.PrefPage2"

category=

"com.xyz.prefpage1"

>

</page>

</extension>

El valor del atributo class debe representar un nombre totalmente calificado de la clase que implementa org.eclipse.ui.IWorkbenchPreferencePage.

El entorno de trabajo aporta varias páginas para establecer las preferencias de la plataforma. Las páginas registradas mediante esta extensión se añadirán al final según la información de categoría.