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