<!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>
valeur de la police de caractères. Elle est de la forme : fontname-style-height
où fontname
est le nom de la police, style
est un style de police ("regular"
, "bold"
, "italic"
, or "bold italic"
) and height
est un entier correspondant à la hauteur de la police.
Exemple : Times New Roman-bold-36
.
Seule une (ou aucune) valeur de defaultsTo peut être utilisée.
Seule une (ou aucune) valeur de defaultsTo peut être utilisée.
<!ELEMENT description EMPTY>
une brève description de l'utilisation des polices
<extension point=
"org.eclipse.ui.fontDefinition"
>
<fontDefinition id=
"org.eclipse.examples.textFont"
label=
"Texte"
>
<description>
Police du texte</description>
</fontDefinition>
<fontDefinition id=
"org.eclipse.examples.userFont"
label=
"User"
defaultsTo=
"org.eclipse.jface.textFont"
>
<description>
Police de l'utilisateur</description>
</fontDefinition>
</extension>
org.eclipse.jface.bannerfont. La police de la bannière est
utilisée dans les bannières d'assistant.
org.eclipse.jface.dialogfont. La police de boîte de dialogue est
utilisée pour les widgets dans les boîtes de dialogue.
org.eclipse.jface.headerfont. La police d'en-tête est utilisée pour
les en-têtes de section dans les pages de texte composées.
org.eclipse.jface.textfont. La police de texte est utilisée par les
éditeurs de texte.
Copyright (c) 2002, 2005 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html