Menu
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.
813
SQL Editor: [ Consolas 10 ] Global font for SQL text editors. Resultset Grid: [ Tahoma 8 ] Resultset grid in SQL editor. Scripting Shell: [ Consolas 10 ] Scripting shell output area. Script Editor: [ Consolas 10 ] Code editors in scripting shell.
Here's how to change MySQL Workbench's colors (INCLUDING THE BACKGROUND COLOR). Open the XML file called code_editor. xml located in the data folder of the MySQL Workbench's installation directory (usually C:\Program Files\MySQL\MySQL Workbench 6.3 CE\data ).
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.
176
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.
44
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
