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