你如何更改mysql工作台中的字体大小？答案

【问题标题】：How do you change the font size in mysql workbench?你如何更改mysql工作台中的字体大小？
【发布时间】：2013-08-05 14:30:20
【问题描述】：

我无意中在 Workbench 的 SQL 编辑器中按下了更改字体大小的键序列，但我找不到撤消它的方法。

找到了有关在文本文件中进行更改以更改字体大小的参考，但是必须有另一种方法来以交互方式进行更改，因为我的“胖手指”已经证明...

我正在使用版本 5.2.47 CE Build 10398

谢谢。

【问题讨论】：

【解决方案1】：

如果您使用的是 windows，可以通过编辑此文件来更改编辑器字体：

C:\Users\user\AppData\Roaming\MySQL\Workbench\wb_options.xml

在文件中，更改以下值：

value type="string" key="workbench.general.Editor:Font Consolas 10

【讨论】：