Mysql workbench 如何在mysql workbench中更改字体大小？_Mysql Workbench

Mysql workbench 如何在mysql workbench中更改字体大小？

Mysql workbench 如何在mysql workbench中更改字体大小？,mysql-workbench,Mysql Workbench,我无意中在Workbench的SQL编辑器中点击了一个改变字体大小的键序列，但我找不到撤销它的方法已经找到了在文本文件中进行更改以更改字体大小的参考，但是必须有一种交互方式进行更改，因为我的“胖手指”已经证明了我使用的是版本5.2.47 CE Build 10398 谢谢。如果您使用的是windows，则可以通过编辑此文件来更改编辑器字体： C:\Users\user\AppData\Roaming\MySQL\Workbench\wb_options.xml 在文件中，更改以下值： va

我无意中在Workbench的SQL编辑器中点击了一个改变字体大小的键序列，但我找不到撤销它的方法

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

我使用的是版本5.2.47 CE Build 10398

谢谢。

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

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

在文件中，更改以下值：

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

很抱歉，这个板是关于实现特定的问题，所以编程问题。有人知道如何更改结果网格的字体大小吗？