问如何在mysql工作台中更改字体大小？
EN

Stack Overflow用户

提问于 2013-08-05 22:30:21

回答 1查看 5.5K关注 0票数 0

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

我已经找到了在文本文件中进行更改以更改字体大小的参考，但必须有一种替代方法来交互地进行更改，就像我的“胖指法”所证明的那样……

我使用的是版本5.2.47 CE Build 10398

谢谢。

发布于 2013-09-29 20:49:09

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

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

在文件中，更改以下值：

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

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/18060749

复制

相似问题

问如何在mysql工作台中更改字体大小？EN