点击window---Preferences,
左边输入font,
点击colors and fonts,
右边选择Basic里面的Text Font ,
然后点击最右边的Edit修改成你想要的字体就OK啦。
http://blog.sina.com.cn/s/blog_12fdf6c230102vgqb.html
点击window---Preferences,
左边输入font,
点击colors and fonts,
右边选择Basic里面的Text Font ,
然后点击最右边的Edit修改成你想要的字体就OK啦。
http://blog.sina.com.cn/s/blog_12fdf6c230102vgqb.html