<!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>
the font value. This is in the form: fontname-style-height
where fontname
is the name of a font, style
is a font style (one of "regular"
, "bold"
, "italic"
, or "bold italic"
) and height
is an integer representing the font height.
Example: Times New Roman-bold-36
.
Only one (or neither) of value or defaultsTo may be used.
Only one or neither of value or defaultsTo may be used.
<!ELEMENT description (#PCDATA)>
a short description of the fonts usage
<extension point="org.eclipse.ui.fontDefinition"> <fontDefinition id="org.eclipse.examples.textFont" label="Text"> <description> The text font </description> </fontDefinition> <fontDefinition id="org.eclipse.examples.userFont" label="User" defaultsTo="org.eclipse.jface.textFont"> <description> The user font </description> </fontDefinition> </extension>
org.eclipse.jface.bannerfont. The banner font is used in wizard banners.
org.eclipse.jface.dialogfont. The dialog font is the font for widgets in dialogs.
org.eclipse.jface.headerfont. The header font is used for section headers in composite text pages.
org.eclipse.jface.textfont. The text font is used by text editors.
Copyright (c) 2002, 2005 IBM Corporation and others.
This program and the accompanying materials are made
available under the terms of the Eclipse Public License 2.0 which accompanies
this distribution, and is available at https://www.eclipse.org/legal/epl-v20.html/
SPDX-License-Identifier: EPL-2.0