Lettertypedefinities

org.eclipse.ui.fontDefinitions

Versie 2.1

Met dit extensiepunt kunt u lettertypen voor gebruik op de voorkeurenpagina Lettertypen registreren met JFace FontRegistry en met de workbenchvoorkeurenopslag. Dit extensiepunt is gedeprecieerd sinds versie 3.0. U moet nu fontDefinition-elementen toevoegen aan 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>

Een korte beschrijving van het lettertypegebruik.



Dit is een voorbeeld van de extensie fontDefinition:

   

<extension point=

"org.eclipse.ui.fontDefinition"

>

<fontDefinition id=

"org.eclipse.examples.textFont"

label=

"Tekst"

>

<description>

Het lettertype van de tekst

</description>

</fontDefinition>

<fontDefinition id=

"org.eclipse.examples.userFont"

label=

"Gebruiker"

defaultsTo=

"org.eclipse.jface.textFont"

>

<description>

Het lettertype van de gebruiker

</description>

</fontDefinition>

</extension>

De tag defaultsTo tag wordt door de workbench gebruikt als richtlijn om de waarde van de lettertypedefinitie in te stellen als deze wordt bijgewerkt. Dit gebeurt alleen als de lettertypedefinitie de standaardwaarde heeft - als de gebruiker een waarde heeft ingesteld, worden geen updates uitgevoerd. De workbench biedt vier lettertypen:

org.eclipse.jface.bannerfont. Het bannerlettertype wordt gebruikt in wizardbanners.
org.eclipse.jface.dialogfont. Het vensterlettertype wordt gebruikt voor widgets in dialoogvensters.
org.eclipse.jface.headerfont. Het koptekstlettertype wordt gebruikt voor kopteksten van secties in samengestelde tekstpagina's.
org.eclipse.jface.textfont. Het tekstlettertype wordt gebruikt door teksteditors.

De workbench biedt de lettertypedefinities voor tekst, dialoogvensters, banners en kopteksten.