Modifica dei caratteri dell'editor di testo predefinito
È possibile modificare il tipo di carattere dell'editor di testo
dalla pagina delle preferenze dell'Editor di testo predefinito (Finestra > Preferenze > Workbench > Editor di testo predefinito).