第一步:进入设置窗口    windows -> preferences

第二步:进入修改字体的选项卡。    General -> Appearance -> Colors and Fonts

第三步:选中"Basic"子选项里的"Text Font"。

第四步:点右边那个"Edit"按钮,修改字体。

我亲自试过,肯定能行的。

posted on 2014-02-21 12:29  程序猿的笔记  阅读(224)  评论(0编辑  收藏  举报