修改 phpStorm 7.1.3 字体大小

原文地址：编辑器 http://blog.csdn.net/wide288/article/details/24301751ide   文件---》设置 左侧，编辑器---》颜色和字体---》Font 右侧，另存为---》（把这个配置方案另存为一个新的名称）字体 此时下面，字体的属性就能够修改了。spa

>>阅读原文<<