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