步骤:Window-->Preference-->General-->Appearance-->Colors and Fonts-->Basic-->Text Font
选择edit就可以修改字体的大小
步骤:Window-->Preference-->General-->Appearance-->Colors and Fonts-->Basic-->Text Font
选择edit就可以修改字体的大小
转载于:https://www.cnblogs.com/ismileboy/p/7340577.html