Definizioni dei tipi di carattere

org.eclipse.ui.fontDefinitions

Versione 2.1

Questo punto di estensione viene utilizzato per registrare i tipi di carattere con JFace FontRegistry e con l'archivio delle preferenze del workbench, per essere poi utilizzati nella pagina delle preferenze Tipi di carattere. Questo punto di estensione è diventato obsoleto nella versione 3.0. Si devono ora aggiungere gli elementi 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>

una breve descrizione dell'uso del carattere



Di seguito è riportato un esempio di estensione della definizione del tipo di carattere:

   

<extension point=

"org.eclipse.ui.fontDefinition"

>

<fontDefinition id=

"org.eclipse.examples.textFont"

label=

"Text"

>

<description>

Tipo di carattere per il testo

</description>

</fontDefinition>

<fontDefinition id=

"org.eclipse.examples.userFont"

label=

"User"

defaultsTo=

"org.eclipse.jface.textFont"

>

<description>

Tipo di carattere dell'utente

</description>

</fontDefinition>

</extension>

il tag defaultsTo è utilizzato come indicazione da parte del workbench per impostare il valore della definizione di carattere al valore di defaultsTo, quando la fontDefinition di defaultsTo viene aggiornata. Questo avviene solo se fontDefinition è impostato al valore predefinito: se l'utente modifica questo valore l'aggiornamento non avviene. Il workbench mette a disposizione 4 tipi di carattere:

org.eclipse.jface.bannerfont. Il carattere utilizzato nei banner delle procedure guidate.
org.eclipse.jface.dialogfont. Il carattere utilizzato per i widget nelle finestre di dialogo.
org.eclipse.jface.headerfont. Il carattere utilizzato per le intestazioni delle sezioni nelle pagine di testo composte.
org.eclipse.jface.textfont. Il carattere utilizzato dagli editor di testo.

Il workbench fornisce le definizioni dei tipi di carattere per testo, finestre di dialogo, banner e intestazioni.