1.java文件字体大小设置 2.jsp、xml等文件字体大小设置 3.控制台(console)字体大小设置 4.颜色设置 转载于:https://my.oschina.net/u/4052883/blog/2992021