在MySQLWorkbench中更改字体

Question

据我所知,我使用的是最新版本的MySQLWorkbench 5.2,但我根本无法更改字体.这是非常不方便的,因为默认字体非常小而且眼睛很刺耳.外观选项卡具有更改字体的选项,但实际上不能在那里进行更改,因为实际上无法对字段进行编辑.

有没有人知道这方面的方法？这似乎是一个常见的错误,但我无法在任何地方找到解决方案.

Answer 1

在里面

编辑>首选项...>外观>字体部分

对于上述版本,你可以编辑字体,但你必须慢慢双击,因为它非常不稳定(或按回车键)然后你手动输入字体名称后跟一个空格和字体大小,例如我的状态:

Source Sans Pro 10

它还需要重新启动程序.

Answer 2

在 Mac 上，在左上角，

MYSQLWorkbench -> Preferences -> Fonts 

增加这里的数字

注意：请确保关闭实例并重新打开它以使这些更改生效。

Answer 3

您唯一需要做的就是增加缩放：

（MySQL：8.0.12）在 Mac 计算机上。

mysql 的图片和指向缩放工具的箭头

如果您使用的是 LINUX（DEBIAN 和许多其他操作系统）

按住 ctrl 并向上滚动（鼠标滚动）

Answer 4

同样，对于 Mac OS X，使用下面的隐藏路径（参考：此链接）：

“您可以直接在 XML 文件中编辑首选项。关闭 MWB。然后编辑文件 ~/Library/Application Support/MySQL/Workbench/wb_options.xml。查找关键的 workbench.general.Editor:Font，然后更改字体在那里。现在重新启动 MWB 以查看您的更改。”