myserverthepeople的专栏
blog.csdn.net/myserverthepeople/article/details/8043125
window--preferences--General--appearance--colors and fonts--java-- "java editor text font "
然后点change,可以设置字体的大小