在MySQLWorkbench中更改字体 [英] Changing Font in MySQLWorkbench
问题描述
我使用MySQLWorkbench 5.2,据我所知的最新版本,但我根本不能改变字体。这是非常不方便,因为默认字体是非常小和苛刻的眼睛。外观选项卡具有更改字体的选项,但实际上无法更改字段,因为该字段实际上无法编辑。
I am using MySQLWorkbench 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.
有人知道这个方法?
推荐答案
在
编辑>偏好设置...>外观>字体部分
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
此外,需要重新启动程序。
这篇关于在MySQLWorkbench中更改字体的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!