修改 phpStorm 7.1.3 字體大小

原文地址：編輯器 http://blog.csdn.net/wide288/article/details/24301751ide   文件---》設置 左側，編輯器---》顏色和字體---》Font 右側，另存爲---》（把這個配置方案另存爲一個新的名稱）字體 此時下面，字體的屬性就能夠修改了。spa

>>阅读原文<<