MySQL Workbench High DPI

fonts mysql-workbench dpi
Devon picture Devon · Dec 6, 2014 · Viewed 10k times · Source

So I'm using MySQL workbench in a new high DPI, high resolution setting. If I allow MySQL Workbench to use Window's DPI settings, the font becomes blurry everywhere but the editor.

If I disable the DPI settings (in Compatibility) and raise the font size in the Workbench Preferences, it looks fine except for the left menu (schema list, table list, object info) which is very small font. Does anyone know of any workaround or an alternative to Workbench? It's going to be hard to continue using Workbench with a high resolution display otherwise. HeidiSQL suffered the same DPI blurry font problem. So it's either headache or squinting.

Answer

David M Webb picture David M Webb · Jun 5, 2017

I am using Windows 10 Pro, after the Creators upgrade, and a 4K 27" monitor. Right-click on the MySQL Workbench program icon, choose "Compatibility", then tick "Override high DPI scaling behavior. Scaling performed by:", then choose "System (Enhanced)". That makes it look reasonable, although the table names are still pixel-doubled so they look fuzzy, and the Output windows still uses a small font.

Related questions

Changing Font in MySQL Workbench

I am using MySQL Workbench 5.2, the newest version as far as I know, but I simply cannot change the font. It is very inconvenient, because the default font is very small and harsh on the eyes. The appearance tab has …

Read More
How to add some non-standard font to a website?

Is there a way to add some custom font on a website without using images, Flash or some other graphics? For example, I was working on a wedding website, and I found a lot of nice fonts for that subject. …

Read More
CSS Font Border?

With all the new CSS3 border stuff going on (-webkit, ...) is it now possible to add a border to your font? (Like the solid white border around the blue Twitter logo). If not, are there any not-too-ugly hacks that will …

Read More