字体大小和背景颜色修改时间：2021-11-12 07:35:43打开: File/seting/Editor/colors&Fonts/Fonts editor Font处默认的不让修改 所以先点击save as 随便点个名字 然后 size就可以修改了
