windows-->prefercess-->General-->Appearance-->color and font在右侧找到Basic-->Text Font,点击editor进行编辑
转载于:https://www.cnblogs.com/guodanzhen/p/9288736.html
windows-->prefercess-->General-->Appearance-->color and font在右侧找到Basic-->Text Font,点击editor进行编辑
转载于:https://www.cnblogs.com/guodanzhen/p/9288736.html