2018-10-26
阅读量:
6023
如何修改mysql workbench 字体大小？
方法一：edit——>preferences—->Fonts&colors—>Fonts
Fonts按照字体名字、字条大小排列的，双击字体大小，比如改为18，修改后ok，然后重启。
方法二：
windows：C:\Users\User\AppData\Roaming\MySQL\Workbench\wb_options.xml
mac：~/Library/Application\ Support/MySQL/Workbench/wb_options.xml
其他平台，可以find 一下wb_options.xml这个文件。
<value type="string" key="workbench.general.Editor:Font">Verdana</value>
找到key：workbench.general.Editor:Font，修改他的只即可。
需要重新启动程序...
0.0000
0
0
关注作者
收藏
评论(0)
发表评论
暂无数据
推荐帖子
零点溯灵
2025-02-16
0条评论
零点溯灵
2025-02-16
0条评论
CDA持证人阿涛哥
2024-12-02
0条评论