0
Wie ändert man die Schriftgröße der MySQL Workbench-Oberfläche?Wie ändere ich die Schriftgröße der MySQL Workbench-Oberfläche?
Bitte beachten Sie: Schnittstelle, nicht Editor-Fonts.
Workbench 6.3 unter Windows 8.1
Vielen Dank für Ihre Antwort. Das Problem ist, dass Sie manchmal eine Lupe benötigen, um etwas zu sehen, und wenn Sie Fonts systemweit machen, macht es andere Anwendungen mit ungewöhnlich großen Fonts und Workbench-Fonts haben diese 'Smear Ink' (nicht knackig), was scheußlich aussieht. Also, A für Funktionalität, F für Schnittstelle. Schade, denn das ist ein großartiges Werkzeug. – Jeffz
Ich höre dich, aber Windows hat kein echtes Konzept der hochauflösenden Anzeige und auf den anderen Betriebssystemen sind die Dinge nicht viel besser (auch wenn macOS zumindest hochauflösende Grafiken hat). Das Problem sind nicht nur die Schriftgrößen, sondern Sie müssen alle Elemente (Kopfzeilen, Knotenhöhen, Rastergrößen usw.) richtig skalieren. Wirklich keine leichte Aufgabe. –