我正在使用MySQL Workbench 5.2版本,据我所知应该是最新版本,但我简单地无法更改字体。这非常不方便,因为默认字体非常小并且对眼睛很刺眼。外观标签有更改字体的选项,但实际上无法进行更改,因为该字段实际上无法编辑。
有人知道解决方法吗?这似乎是一个常见的错误,但我找不到任何修复方法。
我正在使用MySQL Workbench 5.2版本,据我所知应该是最新版本,但我简单地无法更改字体。这非常不方便,因为默认字体非常小并且对眼睛很刺眼。外观标签有更改字体的选项,但实际上无法进行更改,因为该字段实际上无法编辑。
有人知道解决方法吗?这似乎是一个常见的错误,但我找不到任何修复方法。
在提到的版本中,您可以编辑字体,但必须缓慢双击(或按Enter键),因为它非常不稳定,在“编辑 > 首选项... > 外观 > 字体”部分。然后,您需要手动输入字体名称,后跟空格和字体大小,例如我的设置如下:
Source Sans Pro 10
同时它需要重新启动程序。
编辑 -> 首选项... -> 外观 -> 字体部分
选择一行,点击回车,您可以编辑字体和大小。
之后请重启应用程序。
我只是想增加WB 6.1中字体的大小,因为它太小了。
关闭WB
前往:
C:\Users\<User>\AppData\Roaming\MySQL\Workbench\wb_options.xml
,
其中<User>
是您的Windows用户登录名。
找到"workbench.general.Editor:Font"
。
我在那里使用了Consolas 10
,将其更改为Consolas 13
。
这样可以增加字体的舒适度。
wp_options.xml
文件轻松更改此设置。唯一可接受的字体设置是Courier New。
然后我去了另一台机器,并从具有WB升级历史记录的WB 5.2.47复制了wp_options.xml
。这就解决了问题,在新安装的WB上运行良好。
在文本差异工具中查看两个wp_options.xml
文件,我注意到许多差异,但没有任何可以解释差异的差异。我的结论是Oracle需要处理UI配置,因为微妙而晦涩的wp_options.xml
文件编辑不足以使WB UI可接受。
您也可以使用Ctrl + 鼠标滚轮来控制字体大小,就像在VS Code中一样。