Definiciones de fonts

org.eclipse.ui.fontDefinitions

Release 2.1

Este punto de extensión permite registrar fonts en el registro de fonts de JFace y en el almacén de preferencias del entorno de trabajo para que los utilice la página de preferencias de fonts. Este punto de extensión ha quedado obsoleto en el release 3.0. Ahora, debe definir elementos fontDefinition a org.eclipse.ui.themes.

<!ELEMENT extension (fontDefinition*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT fontDefinition (description?)>

<!ATTLIST fontDefinition

id         CDATA #REQUIRED

label      CDATA #REQUIRED

value      CDATA #IMPLIED

categoryId CDATA #IMPLIED

defaultsTo CDATA #IMPLIED>


<!ELEMENT description EMPTY>

breve descripción de la utilización de los fonts



A continuación figura un ejemplo de extensión de definición de font:

   

<extension point=

"org.eclipse.ui.fontDefinition"

>

<fontDefinition id=

"org.eclipse.examples.textFont"

label=

"Text"

>

<description>

El font de texto

</description>

</fontDefinition>

<fontDefinition id=

"org.eclipse.examples.userFont"

label=

"Usuario"

defaultsTo=

"org.eclipse.jface.textFont"

>

<description>

El font de usuario

</description>

</fontDefinition>

</extension>

El entorno de trabajo utiliza el código defaultsTo como directiva para establecer el valor de la definición de font en el valor de defaultsTo siempre que se actualiza la definición de font (fontDefinition) de defaultsTo. Esto sólo ocurre si la definición de font tiene el valor por omisión; una vez que el usuario haya establecido el valor, estas actualizaciones no se producirán. El entorno de trabajo suministra 4 fonts:

org.eclipse.jface.bannerfont. El font de mensaje de cabecera se utiliza en las cabeceras de asistente.
org.eclipse.jface.dialogfont. El font de diálogo es el destinado a los widgets en los diálogos.
org.eclipse.jface.headerfont. El font de cabecera se utiliza para cabeceras de sección en páginas de texto compuestas.
org.eclipse.jface.textfont. El font de texto se utiliza en los editores de texto.

El entorno de trabajo suministra las definiciones de font para los fonts de texto, diálogo, mensaje de cabecera y cabecera.