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.这样就来到了设置界面,就可以字体大小了