mysql workbench 修改字体大小

版本

我的版本是mysql workbench 6.2
mysql workbench 修改字体大小_第1张图片

修改

edit——>preferences—->Fonts&colors—>Fonts
Fonts按照字体名字、字条大小排列的,双击字体大小,比如改为18,修改后ok,然后重启。
mysql workbench 修改字体大小_第2张图片

重启后,效果
mysql workbench 修改字体大小_第3张图片

你可能感兴趣的:(mysql workbench 修改字体大小)