Schriftart für Standardtexteditor ändern

Die Schriftart für den Standardtexteditor können Sie auf der Benutzervorgabenseite "Standardtexteditor" ändern (Fenster > Benutzervorgaben > Workbench > Standardtexteditor).