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