Definizioni dei tipi di carattere

Identificativo: org.eclipse.ui.fontDefinitions

Da: versione 2.1

Descrizione: questo punto di estensione viene utilizzato per registrare i tipi di carattere con JFace FontRegistry e con l'archivio delle preferenze del workbench, per essere poi utilizzati nella pagina delle preferenze Tipi di carattere.

Tag di configurazione:

   <!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
     defaultsTo CDATA #IMPLIED
   >

   <!ELEMENT description (#CDATA)>

   una breve descrizione dell'uso del carattere

Esempi: di seguito è riportato un esempio di estensione della definizione del tipo di carattere:

   <extension point="org.eclipse.ui.fontDefinition"> 
      <fontDefinition 
         id="org.eclipse.examples.textFont" 
         label="Text"> 
         <description>
            Tipo di carattere per il testo
         </description>
      </fontDefinition> 

      <fontDefinition 
        id="org.eclipse.examples.userFont" 
        label="User"
        defaultsTo="org.eclipse.jface.textFont"> 
        <description>
           Tipo di carattere dell'utente
        </description>
      </fontDefinition> 
   </extension> 

Informazioni API: il tag defaultsTo è utilizzato come indicazione da parte del workbench per impostare il valore della definizione di carattere al valore di defaultsTo, quando la fontDefinition di defaultsTo viene aggiornata. Questo avviene solo se fontDefinition è impostato al valore predefinito: se l'utente modifica questo valore l'aggiornamento non avviene. Il workbench mette a disposizione 4 tipi di carattere:

org.eclipse.jface.bannerfont. Il carattere utilizzato nei banner delle procedure guidate.
org.eclipse.jface.dialogfont. Il carattere utilizzato per i widget nelle finestre di dialogo.
org.eclipse.jface.headerfont. Il carattere utilizzato per le intestazioni delle sezioni nelle pagine di testo composte.
org.eclipse.jface.textfont. Il carattere utilizzato dagli editor di testo.

Implementazione fornita: il workbench fornisce le definizioni dei tipi di carattere per testo, finestre di dialogo, banner e intestazione.

Copyright (c) 2002 IBM Corporation e altri. Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Common Public License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo http://www.eclipse.org/legal/cpl-v10.html