<!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>
fontname-style-height
where fontname
is the name of a font, style
is a font style (one of "regular"
, "bold"
, "italic"
, or "bold italic"
) and height
is an integer representing the font height.
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, 2004 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento
sono disponibili secondo i termini della Common Public License v1.0 che sono
distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/cpl-v10.html