Also verwende ich MySQL Workbench in einer neuen Einstellung mit hoher Auflösung und hoher DPI. Wenn ich MySQL Workbench erlaube, die DPI-Einstellungen von Windows zu verwenden, wird die Schriftart überall unscharf, außer dem Editor.
Wenn ich die DPI-Einstellungen (unter Kompatibilität) deaktiviere und die Schriftgröße in den Workbench-Voreinstellungen erhöhe, sieht es bis auf das linke Menü (Schemaliste, Tabellenliste, Objekt-Info) sehr klein aus. Kennt jemand eine Problemumgehung oder eine Alternative zu Workbench? Es wird schwierig sein, Workbench weiterhin mit einem hochauflösenden Display zu verwenden. HeidiSQL erlitt das gleiche verschwommene DPI-Font-Problem. Also ist es entweder Kopfschmerzen oder Schielen.
Ich verwende Windows 10 Pro, nach dem Creators-Upgrade und einem 4K 27 "-Monitor. Klicken Sie mit der rechten Maustaste auf das MySQL Workbench-Programmsymbol, wählen Sie" Kompatibilität "und aktivieren Sie dann" Skalierungsverhalten für hohe DPI überschreiben. Skalierung durchgeführt von: ", dann wählen Sie" System (Enhanced) ". Das macht es sinnvoll, obwohl die Tabellennamen immer noch pixelverdoppelt sind, so dass sie unscharf aussehen, und die Ausgabefenster verwendet immer noch eine kleine Schrift.
Tags und Links fonts mysql-workbench dpi