Search code examples
mysqlconfigurationfontsmysql-workbench

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 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.

Solution

  • 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.