mysql workbench 字体_修改 MySQL Workbench editor的字体

windows：C:\Users\User\AppData\Roaming\MySQL\Workbench\wb_options.xmlmac：~/Library/Application\ Support/MySQL/Workbench/wb_options.xml其他平台，可以find 一下wb_options.xml这个文件。Verdana找到key：workbench.general.Edi

内卷之父

658人浏览 · 2021-01-19 01:04:44

内卷之父 · 2021-01-19 01:04:44 发布

windows：C:\Users\User\AppData\Roaming\MySQL\Workbench\wb_options.xml

mac：~/Library/Application\ Support/MySQL/Workbench/wb_options.xml

其他平台，可以find 一下wb_options.xml这个文件。

Verdana

找到key：workbench.general.Editor:Font，修改他的只即可。

PS:另外可以直接在设置里面设定：

actually you can change the font in MySQL Workbench, it is just not that obvious. Click twice (slowly, no double click) on the font name and it will become editable (this is similar to renaming something in Explorer). Added a nice font picker popup is on the todo list.

魔乐社区

魔乐社区（Modelers.cn) 是一个中立、公益的人工智能社区，提供人工智能工具、模型、数据的托管、展示与应用协同服务，为人工智能开发及爱好者搭建开放的学习交流平台。社区通过理事会方式运作，由全产业链共同建设、共同运营、共同享有，推动国产AI生态繁荣发展。

更多推荐