Changing Font in MySQL Workbench

On Mac, on the top left corner,

MYSQLWorkbench -> Preferences -> Fonts 

Increase the numbers here

NOTE : Make sure to close the instance and reopen it for these changes to apply.

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.