Optionen / Schrift

Skript-Editoren / Menü Ansicht

Schriftart / Schriftgröße

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