我使用的是MySQL Workbench 5.2,这是据我所知的最新版本,但我无法更改字体。这是非常不方便的,因为默认的字体非常小,对眼睛很刺眼。外观选项卡具有用于更改字体的选项,但实际上不能对其进行更改,因为该字段实际上无法编辑。
有没有人知道解决这个问题的办法?这似乎是一个常见的bug,但我在任何地方都找不到修复方法。
发布于 2013-04-17 19:59:14
同样,对于Mac,使用下面的隐藏路径(参考:此link):
“您可以直接在其XML文件中编辑首选项。关闭MWB。然后编辑文件~/库/应用程序支持/MySQL/Workbench/wb_options.xml。查找键workbench.general.Editor:Font,并更改其中的字体。现在重新启动MWB以查看您的更改。”
发布于 2013-11-14 16:11:23
编辑->首选项...->外观->字体部分
突出显示一行,单击ENTER,然后可以编辑字体和大小。
之后重启应用程序。
https://stackoverflow.com/questions/9553386
复制相似问题