Páginas de preferencias
Identificador:
org.eclipse.ui.preferencePages
Descripción:
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.
Código de configuración:
<!ELEMENT extension (page*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point: identificador totalmente calificado del punto de extensión destino
- id: identificador opcional de la instancia de extensión
- name: nombre opcional de la instancia de extensión
<!ELEMENT page (keywordReference*)>
<!ATTLIST page
id CDATA #REQUIRED
name CDATA #REQUIRED
class CDATA #REQUIRED
category CDATA #IMPLIED>
- id: nombre exclusivo que se utilizará para identificar esta página.
- name: nombre traducible que se utilizará en la UI para esta página.
- class: nombre de la clase totalmente calificada que implementa
org.eclipse.ui.IWorkbenchPreferencePage.
- category: vía de acceso que indica la ubicación de la página en el
árbol de preferencias. La vía de acceso puede ser el ID de un nodo padre o una
secuencia de ID separados por una barra inclinada, '/', que representa la vía de
acceso completa desde el nodo raíz.
<!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.
- id: ID de la palabra clave a la que se hace referencia.
Ejemplos:
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>
Información sobre las API:
El valor del atributo class
debe representar un nombre totalmente calificado de la clase que implementa
org.eclipse.ui.IWorkbenchPreferencePage.
Implementación suministrada:
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.
Copyright (c) 2002, 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