修改 phpStorm 7.1.3 字体大小

原文地址：

http://blog.csdn.net/wide288/article/details/24301751

 

文件---》设置
左侧，编辑器---》颜色和字体---》Font
右侧，另存为---》（把这个配置方案另存为一个新的名称）

此时下面，字体的属性就可以修改了。