<!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>
fontverdien. Denne har formen: fontname-style-height
der fontname
er navnet på en font, style
er en fontstil (enten "regular"
,
"bold"
, "italic"
eller "bold italic"
) og height
er et heltall
som representerer fonthøyden.
Eksempel: Times New Roman-bold-36
.
Bare en (eller ingen) av "value" eller "defaultsTo" kan brukes.
Bare en eller ingen av "value" eller "defaultsTo" kan brukes.
<!ELEMENT description EMPTY>
en kort beskrivelse av fontbruken
<extension point=
"org.eclipse.ui.fontDefinition"
>
<fontDefinition id=
"org.eclipse.examples.textFont"
label=
"Text"
>
<description>
Tekstfonten</description>
</fontDefinition>
<fontDefinition id=
"org.eclipse.examples.userFont"
label=
"User"
defaultsTo=
"org.eclipse.jface.textFont"
>
<description>
Brukerfonten</description>
</fontDefinition>
</extension>
org.eclipse.jface.bannerfont. Bannerfonten brukes på bannere i veiviseren.
org.eclipse.jface.dialogfont. Dialogboksfonten er fonten for widgeter i dialogbokser.
org.eclipse.jface.headerfont. Overskriftsfonten brukes i topptekster på sammensatte tekstsider.
org.eclipse.jface.textfont. Tekstfonten brukes av tekstredigeringsprogrammer.
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