Editor - Optionen - Schrift
Hier kann die
Schriftart
und -
größe
im Editor geändert werden.