Wie kann ich den Font im Denkbrett ändern? Im Kontextmenu (rechte Maustaste) gibt es dazu keinen Eintrag, über die Menuleiste “Zeichen/Zeichensatz” geht es auch nicht (obwohl ich das Menu aufrufen kann)!
Ist das ein Bug (ich habe Version 8.03w) im Kontextmenue oder in der Menuleiste?
Gibt es eine andere Art den Fon zu ändern? Denn leider gibt es bei dem bestehenden Font unregelmäßige Zwischenabstände!