“设置”的帮助文档
http://www.jetbrains.com/idea/help/http://dict.youdao.com/search?q=Colors and Fonts&keyfrom=chrome.extension&le=eng
http://www.jetbrains.com/idea/help/http://dict.youdao.com/search?q=Colors and Fonts&keyfrom=chrome.extension&le=eng
2014-12-04