Changing Font in MySQLWorkbench

问题:

I am using MySQLWorkbench 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.

回答1:

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.

回答2:

Similarly for Mac OS X using the hidden path below (ref: this link):

"You can edit the preferences directly in their XML files. Shut down MWB. Then edit the file ~/Library/Application Support/MySQL/Workbench/wb_options.xml. Look for the key workbench.general.Editor:Font, and change the font there. Now restart MWB to see your change."

回答3:

Edit -> Preferences... -> Appearance -> Fonts section

Highlight a row, click ENTER, you can then edit the font and size.

Restart the app after.

回答4:

After clean installing MySQL Workbench (WB) 5.2.47 (Windows 7) on a new machine, I wanted the Lucida Console font as I am used to, but for some reason WB chooses a different font for reserved keywords, making the code unreadable. There is no setting for reserved keywords. So I could not easily change this by editing the wp_options.xml file. The only font setting which was acceptable was Courier New.

Then I went to another machine, and copied wp_options.xml from a WB 5.2.47 which had a history of WB upgrades. That did the trick, it worked fine on the newly installed WB.

Looking at the both wp_options.xml files in a text diff tool, I noted many differences, but not any that could explain the difference. My conclusion is that Oracle needs to work with UI configuration, as it is not OK that subtle, obscure edits in the wp_options.xml file is what is required to make the WB UI acceptable.

回答5:

Well, I just wanted to increase the size of font only because it was too small in my WB 6.1. Referred the link given by 'Kman' and did a bit different thing.

1)Close WB

2)Go to, C:\Users\User\AppData\Roaming\MySQL\Workbench\wb_options.xml. Locate "workbench.general.Editor:Font". I got- 'Consolas 10' there and changed it to 'Consolas 13'. That increased font to a comfortable size.