mysql workbench 修改字体大小 eclipse修改字体大小
edit——>preferences—->Fonts&colors—>Fonts
重启mysql workbench
eclipse修改字体大小
window => preferences => colors and fonts
https://github.com/elastic/elasticsearch
edit——>preferences—->Fonts&colors—>Fonts
重启mysql workbench
eclipse修改字体大小
window => preferences => colors and fonts
https://github.com/elastic/elasticsearch