In Options -> User Interface kann man jetzt den
IDE Font einstellen:
Leider wird die Einstellung beim Klick auf den Save-Button nicht gespeichert (auch nicht nach einem Neustart)! Kann das jemand bestätigen?
Nachtrag: Wenn man nur die Checkbox anklickt, wird die Einstellung nicht gespeichert. Nur wenn man eine Änderung bei der Font-Einstellung selbst vornimmt, wird die Einstellung gespeichert. (Schlampige Programmierung).
Geändert von PeterPanino, damit der Platz auf dem Bildschirm nicht so leer aussieht.