Il plug-in potrebbe richiedere la definizione di tipi di carattere specializzati nei relativi editor o viste. Il punto di estensione org.eclipse.ui.fontDefinitions consente di definire i tipi di carattere che saranno disponibili nella pagine delle preferenze Tipi di carattere del workbench.
Tramite questa estensione è possibile consolidare le impostazioni del tipo di carattere per il plug-in insieme alle altre preferenze dei tipi di carattere installate nel workbench. Ad esempio, il debugger fornisce un'impostazione di carattere per il testo della console:
Questa definizione del tipo di carattere viene fornita dal debugger utilizzando il punto di estensione org.eclipse.ui.fontDefinitions.
<extension point="org.eclipse.ui.fontDefinitions"> <fontDefinition label="%ConsoleFontDefinition.label" defaultsTo="org.eclipse.jface.textfont" id="org.eclipse.debug.ui.ConsoleFont"> <description> %ConsoleFontDefinition.description </description> </fontDefinition> ... </extension>
Gli attributi label e description sono visualizzati nella finestra di dialogo delle preferenze per descrivere il tipo di carattere. L'attributo defaultsTo indica l'id di un'altra definizione di tipo di carattere da utilizzare come valore predefinito nel caso in cui non ne sia specificato un altro.