在MySQL Workbench中更改字体 [英] Changing Font in MySQL Workbench

问题描述

我正在使用MySQL Workbench 5.2，据我所知，它是最新版本，但我根本无法更改字体.这是非常不方便的，因为默认字体很小并且在眼睛上很刺眼.外观标签包含用于更改字体的选项，但实际上无法在此进行任何更改，因为该字段无法实际编辑.

I am using MySQL Workbench 5.2, the newest version as far as I know, but I simply cannot change the font. It is very inconvenient, because the default font is very small and harsh on the eyes. The appearance tab has options for changing the font, but no change can actually be made there, as the field cannot actually be edited.

有人知道解决这个问题的方法吗?这似乎是一个常见的错误，但是我在任何地方都找不到修复程序.

Does anyone know of a way around this? It seems to be a common bug, but I can't find a fix anywhere.

推荐答案

在

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

Edit > Preferences... > Appearance > Fonts section

在上述版本中，您可以编辑字体，但是您必须缓慢双击，因为它非常笨拙(或按Enter )，然后您必须手动输入字体名称，然后输入空格和字体大小，例如矿山状态:

of the mentioned version, you can edit the font but you have to slowly double click, as its very wonky (or press enter) and then you manually have to type in the font name followed by a space and font size for example mine states:

Source Sans Pro 10

还要求重新启动程序.

这篇关于在MySQL Workbench中更改字体的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！