Follow Techotopia on Twitter

On-line Guides
All Guides
eBook Store
iOS / Android
Linux for Beginners
Office Productivity
Linux Installation
Linux Security
Linux Utilities
Linux Virtualization
Linux Kernel
System/Network Admin
Programming
Scripting Languages
Development Tools
Web Development
GUI Toolkits/Desktop
Databases
Mail Systems
openSolaris
Eclipse Documentation
Techotopia.com
Virtuatopia.com

How To Guides
Virtualization
General System Admin
Linux Security
Linux Filesystems
Web Servers
Graphics & Desktop
PC Hardware
Windows
Problem Solutions
Privacy Policy

  




 

 

Eclipse Plug-in Developer Guide
Previous Page Home Next Page

Font Definitions

Identifier:
org.eclipse.ui.fontDefinitions

Since:
2.1

Description:
This extension point is used to register fonts with the JFace FontRegistry and with the workbench preference store for use by the Fonts preference page. This extension point has been deprecated in 3.0. You should now add fontDefinition elements to org.eclipse.ui.themes.

Configuration Markup:

<!ELEMENT extension ( fontDefinition*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED

>

  • point - a fully qualified identifier of the target extension point
  • id - an optional identifier of the extension instance
  • name - an optional name of the extension instance

<!ELEMENT fontDefinition ( description?)>

<!ATTLIST fontDefinition

id         CDATA #REQUIRED

label      CDATA #REQUIRED

value      CDATA #IMPLIED

categoryId CDATA #IMPLIED

defaultsTo CDATA #IMPLIED

>

  • id - a unique name that can be used to identify this font definition.
  • label - a translatable name of the font to be presented to the user.
  • value -

    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.

  • categoryId - the optional id of the presentation category this font belongs to.
  • defaultsTo - the id of another font definition that is the default setting for the receiver. When there is no preference for this font the font registry will have the value of defaultsTo set for it in the registry.

    Only one or neither of value or defaultsTo may be used.


<!ELEMENT description (#PCDATA)>

a short description of the fonts usage



Examples:
Following is an example of an a font definition extension:


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

Supplied Implementation:
The workbench provides the font definitions for the text, dialog, banner and header fonts.


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 https://www.eclipse.org/legal/epl-v10.html


 
 
  Published under the terms of the Eclipse Public License Version 1.0 ("EPL") Design by Interspire