<!ELEMENT extension (fontDefinition*)>
<!ATTLIST-udvidelse
point CDATA #REQUIRED
id CDATA #IMPLIED
navn CDATA #IMPLIED>
<!ELEMENT fontDefinition (description?)>
<!ATTLIST fontDefinition
id CDATA #REQUIRED
label CDATA #REQUIRED
value CDATA #IMPLIED
categoryId CDATA #IMPLIED
defaultsTo CDATA #IMPLIED>
fontværdien. Den er i formatet: fontname-style-height
hvor fontname
navnet på fonten, style
er en typografi (enten "regular"
, "bold"
, "italic"
eller "bold italic"
), og height
er et heltal, der repræsenterer fontens højde.
Eksempel: Times New Roman-bold-36
.
Kun én (eller ingen) af value eller defaultsTo kan anvendes.
Kun én eller ingen af value eller defaultsTo kan anvendes.
<!ELEMENT description EMPTY>
En kort beskrivelse af fontanvendelsen.
<udvidelsespunkt=
"org.eclipse.ui.fontDefinition"
>
<fontDefinition id=
"org.eclipse.examples.textFont"
label=
"Text (tekst)"
>
<beskrivelse>
Tekstfonten</description>
</fontDefinition>
<fontDefinition id=
"org.eclipse.examples.userFont"
label=
"User"
defaultsTo=
"org.eclipse.jface.textFont"
>
<beskrivelse>
Brugerfonten</description>
</fontDefinition>
</extension>
org.eclipse.jface.bannerfont. Bannerfonten anvendes i bannere til guider.
org.eclipse.jface.dialogfont. Dialogboksfonten er den font, der anvendes til elementer i dialogbokse.
org.eclipse.jface.headerfont. Toptekstfonten anvendes til afsnitsoverskrifter på sammensatte tekstsider.
org.eclipse.jface.textfont. Tekstfonten anvendes af teksteditorer.
Copyright (c) 2002, 2005 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made
available under the terms of the Eclipse Public License v1.0 which accompanies
this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html