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