更改 MySQL Workbench 中的字体

Question

我正在使用 MySQL Workbench 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 以查看您的更改。”

Answer 5

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

突出显示一行，单击ENTER，然后可以编辑字体和大小。

之后重新启动应用程序。

Answer 6

嗯，我只是想增加字体大小，因为它在我的 WB 6.1 中太小了。

1. 关闭白平衡

2. 前往：
   

   C:\Users\<User>\AppData\Roaming\MySQL\Workbench\wb_options.xml

   ,
   其中

   <User>

   是您的 Windows 用户登录名。
   找到

   "workbench.general.Editor:Font"

   。
   我那里有

   Consolas 10

   ，并将其更改为

   Consolas 13

   。
   将字体增加到舒适的大小。

Answer 7

在新机器上全新安装 MySQL Workbench (WB) 5.2.47 (Windows 7) 后，我想要像我习惯的那样使用 Lucida Console 字体，但由于某种原因 WB 为保留关键字选择了不同的字体，使得代码不可读。没有保留关键字的设置。所以我无法通过编辑

wp_options.xml

文件轻松更改此设置。唯一可接受的字体设置是 Courier New。

然后我去了另一台机器，从有 WB 升级历史的 WB 5.2.47 复制了

wp_options.xml

。这样就成功了，在新安装的 WB 上运行得很好。

查看文本差异工具中的两个

wp_options.xml

文件，我注意到许多差异，但没有任何可以解释差异的地方。我的结论是 Oracle 需要使用 UI 配置，因为在

wp_options.xml

文件中进行微妙、晦涩的编辑是使 WB UI 可接受所必需的，这是不行的。

Answer 8

您还可以通过 ctrl + 鼠标滚动来控制字体大小，就像我们在 VS code 中所做的那样

Answer 9

我使用的是MySQL Workbench 8.0 CE版本，我选择了编辑器，单击control，然后向上滚动。效果很好。