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.
Questo punto di estensione è diventato obsoleto nella versione 3.0.
Si devono ora aggiungere gli elementi fontDefinition a org.eclipse.ui.themes.
Tag di configurazione:
<!ELEMENT extension (fontDefinition*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - identificativo completo del punto di estensione di
destinazione
- id - identificativo dell'istanza dell'estensione
- name - nome dell'istanza dell'estensione facoltativo
<!ELEMENT fontDefinition (description?)>
<!ATTLIST fontDefinition
id CDATA #REQUIRED
label CDATA #REQUIRED
value CDATA #IMPLIED
categoryId CDATA #IMPLIED
defaultsTo CDATA #IMPLIED>
- id - un nome univoco che è possibile utilizzare per identificare
la definizione di questo tipo di carattere.
- label - un nome da presentare all'utente per il tipo di carattere.
- value - il valore del tipo di carattere. Nel formato:
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.
Esempio: Times New Roman-bold-36.
È possibile utilizzare solo un valore, nessun valore oppure defaultsTo.
- categoryId - l'id facoltativo della categoria di presentazione a cui appartiene il tipo di
carattere.
- defaultsTo - l'identificativo della definizione di un altro tipo di carattere che rappresenta il
valore predefinito per il ricevitore. Se non
esiste una preferenza per questo tipo di carattere, il registro dei caratteri
imposterà per esso il valore di defaultsTo.
È possibile utilizzare solo un valore, nessun valore oppure defaultsTo.
<!ELEMENT description EMPTY>
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>
Informazione 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
intestazioni.
Copyright (c) 2002, 2004 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