1.点击window，然后选择preferences，进入下面的界面。在输入框中输入font，然后选择colors and fonts ，再选择basic：
2.在basic中找到text，然后点击edit
3.这样就来到了设置界面，就可以字体大小了
相关文章：
相似解决方案
热门标签
1.点击window，然后选择preferences，进入下面的界面。在输入框中输入font，然后选择colors and fonts ，再选择basic：
2.在basic中找到text，然后点击edit
3.这样就来到了设置界面，就可以字体大小了
相关文章：