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...
06.12.2014, 19:29