Finde leider auch nichts zu dem Problem mit den kleinen Systemfonts. Wenn ich den Editor Starten will, fordert er mich auf, die Systemfonts auf "klein" zu stellen. Allerdings wird bei mir unter Windows 10 die Größe der Fonts ins Prozent angezeigt und das kleinstmögliche ist 100 % und das hilft nicht weiter.
Weiß von euch jemand weiter?