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