2018-10-26
阅读量:
5842
如何修改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)
发表评论
暂无数据
推荐帖子
CDA持证人阿涛哥
2024-10-29
0条评论
CDA持证人阿涛哥
2024-10-26
0条评论
大妮tbdt
2024-10-08
1条评论
