Changing Font in MySQL Workbench

mysql configuration fonts mysql-workbench
hjweide picture hjweide · Mar 4, 2012 · Viewed 44.5k times · Source

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 options for changing the font, but no change can actually be made there, as the field cannot actually be edited.

Does anyone know of a way around this? It seems to be a common bug, but I can't find a fix anywhere.

Answer

varubi picture varubi · May 22, 2013

In the

Edit > Preferences... > Appearance > Fonts section

of the mentioned version, you can edit the font but you have to slowly double click, as its very wonky (or press enter) and then you manually have to type in the font name followed by a space and font size for example mine states:

Source Sans Pro 10

Also it requires a program restart.

Related questions

I can not find my.cnf on my windows computer

My computer is Windows XP. I need to find my.cnf to get all privileges back to the root user. I accidentally removed some privileges of the root user. I still have the password and there is no problem for …

Read More
Determine which MySQL configuration file is being used

Is there a command to determine which configuration file MySQL 5.0 is currently using?

Read More
How to get rid of STRICT SQL mode in MySQL

This is a follow up to this question MYSQL incorrect DATETIME format How to get rid of STRICT_TRANS_TABLES once and for all? mysql --help reports the following configs: Default options are read from the following files in the …

Read More