<!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>
il valore del tipo di carattere. Nel formato: fontname-style-height
dove
fontname
è il nome di un tipo di carattere, style
è lo stile del carattere (uno tra
"regular"
, "bold"
,
"italic"
o "bold italic"
) e height
è un numero intero che rappresenta la dimensione del carattere.
Esempio: Times New Roman-bold-36
.
È possibile utilizzare solo un valore, nessun valore oppure defaultsTo.
È possibile utilizzare solo un valore, nessun valore oppure defaultsTo.
<!ELEMENT description EMPTY>
una breve descrizione dell'uso del 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>
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.
Copyright (c) 2002, 2005 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Eclipse Public
License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html