一，点"Settings"按钮，调出配置界面：
然后如图找到 Editor-colors&font-font ，默认的不让修改 所以先点击save as 随便起个名字 ，然后 size就可以修改了，其它颜色什么的也类似....
原创地址：
http://bbs.9ria.com/thread-200235-1-1.html
