opsi config editor - schriftgröße

[user1378]

halli hallo,
ich benutze den opsi config editor 4.0.7.5.22 auf einem debian 9.2 mit xfce. die eingestellte font size von xfce hat leider keinen einfluss auf den config-editor.
gibt es eine möglichkeit die schriftgröße vom config editor zu verändern?

danke und sonnige grüße an alle

[r.roeder]

nein, die Schriftgröße kann derzeit nicht konfiguriert oder gar vom Betriebssystem vorgegeben werden. Das ist auch kein einfaches Thema, die Schriftgröße ließe sich leicht konfigurierbar machen, aber dann sprengt die Schrift das Layout.

Angeblich soll es mit Java 9 hier neue Möglichkeiten der Anpassung an die Bildschirmauflösung geben, schauen wir mal.