Arch Linux

hrkristian

Member

Registered: 2013-06-28

Posts: 34

MySQL Workbench font

Has anyone had any luck changing the interface font size of this program? As far as I've been able to tell the font size is hard-coded, but even if that's the case there must be a way around it, a font size of 10 is ridiculously small.

I'm using the latest version of MySQL Workbench (6.3.4-6) and GNOME-Shell (standard Nvidia blob and X display server setup.)

Thanks in advance.