Schriftgröße einstellen?

[GMT]

Es ginge dabei nicht nur um die Schriftarten.

Alle Fenster sind bis auf das Pixel so gestaltet, dass wir die uns bekannte Lesbarkeit aller Daten haben. Mit großer Wahrscheinlichkeit würde ein Wechsel auch nur der Schriftart (wir schweigen von der nötigen Skalierbarkeit) zu verschwindenden Informationen in einzelnen Tabellenspalten oder zum Verschwinden ganzer Spalten "rechts hinter dem Fensterrand" führen.

Und das nicht nur im Hauptfenster, sondern bei fast allen anderen Fenstern.