如何更改mysql工作臺中的字體大小？

我不小心碰到了在Workbench的SQL編輯器中改變字體大小的按鍵序列，但是我找不到解決它的方法。如何更改mysql工作臺中的字體大小？

已經找到引用在文本文件中進行更改更改字體大小，但必須有做出改變交互方式爲我的「胖指法」已被證明的另一種方式......

我使用版本5.2.47 CE Build 10398

謝謝。

對不起，這款主板是關於具體的實施問題，所以編程問題。 – arkascha

編輯器字體可以通過編輯這個文件，如果你使用的是Windows進行更改：

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

在該文件中，更改以下值：

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

2013-09-29 12:49:09

任何人都知道如何更改結果網格的字體大小？ – Guus

回答