第一步:进入设置窗口 windows -> preferences
第二步:进入修改字体的选项卡。 General -> Appearance -> Colors and Fonts
第三步:选中"Basic"子选项里的"Text Font"。
第四步:点右边那个"Edit"按钮,修改字体。
我亲自试过,肯定能行的。