"首选项"->"设置-用户",然后在大括号里输入:"font_size":12.0 ,别忘了外面两个英文输入法状态下的双引号,注意是下划线 _ ,最后保存即可。字体大小更改数字就行了!有点类似于CSS,懂点开发的应该都能搞定吧?