步骤：Window-->Preference-->General-->Appearance-->Colors and Fonts-->Basic-->Text Font
选择edit就可以修改字体的大小
