Définitions de police

org.eclipse.ui.fontDefinitions

2.1

Ce point d'extension sert à enregistrer des polices avec JFace FontRegistry et avec le magasin de préférences du plan de travail pour que la page de préférences Polices les utilise. Ce point d'extension a été abandonné dans 3.0. Vous devez désormais ajouter des éléments fontDefinition elements à 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>

une brève description de l'utilisation des polices



L'exemple ci-dessous illustre l'extension d'une définition de police :

   

<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>

La balise defaultsTo est utilisée comme directive par le plan de travail pour attribuer à la définition de la police la valeur de defaultsTo chaque fois que cette définition est mise à jour. Cette mise à jour ne se produit que si fontDefinition a sa valeur par défaut ; une fois définie par l'utilisateur, cette mise à jour ne s'effectue plus. Le plan de travail fournit 4 polices :

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.

Le plan de travail fournit les définitions des polices de texte, de boîtes de dialogue, de bannières et d'en-têtes.