eclipse怎么设置字体大小

eclipse是我们常用的开发工具。eclipse中的默认字体往往并不满足我们的需要，我经常要调节一下它的大小或者换一下风格。eclipse中的字体大小怎么改变...