0

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

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

我正在使用版本 5.2.47 CE Build 10398

谢谢。

4

1 回答 1

0

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

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

在文件中，更改以下值：

value type="string" key="workbench.general.Editor:Font Consolas 10
于 2013-09-29T12:49:09.190 回答