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