我无意中点击了一个在Workbench的SQL编辑器中更改字体大小的键序列，但我找不到撤消它的方法。
已经找到了在文本文件中进行更改以改变字体大小的参考，但是必须有一种替代方法来交互式地进行更改，因为我的“胖指法”已经证明......
我正在使用版本5.2.47 CE Build 10398
感谢。
答案 0 :(得分：0)
如果您使用的是Windows，则可以通过编辑此文件来更改编辑器字体：
C:\Users\user\AppData\Roaming\MySQL\Workbench\wb_options.xml
在文件中，更改以下值：
value type="string" key="workbench.general.Editor:Font Consolas 10