Vacheslav Starikov's

Today I downloaded MySQL Workbench 5.2.31 CE. I usually work with different languages and I found that SQL Editor didn’t show russian letters correctly. I went to the Preferences but there I found that I can’t change the font. In the Preferences you can only see what the font is used but you cannot change it. Fortunately, there’re a lot of config files in XML format you can change. Before change any setting file you should close the Workbench. I use Windows 7 and to change the font I oppened this file C:\Users\User\AppData\Roaming\MySQL\Workbench\wb_options.xml and found this key workbench.general.Editor:Font and changed it to the value I needed. Here is what I have in my wb_options.xml:

<value type="string" key="workbench.general.Editor:Font">
  Verdana
</value>

Just remember, before changing this option close the MySQL Workbench and after the changing start it, doing this you will avoid your option to be overwritten.

One Response to “How to change the font in MySQL Workbench editor”