phpstorm使用技巧之改变字体大小
开始怎么都找不到改变字体的大小开始只能修改左边的侧边栏的字体的大小，但是没有办法修改右边的正文的字体的大小
于是我在网上找答案，终于找到解决办法，文件-》设置-》编辑-》fronts=>front=>有一个saveas按钮就可以更改这个颜色和字体的大小设置
然后那个勾选的按钮也可以去掉了。然后就可以设置各种字体了
感谢文章：http://www.tuicool.com/articles/6ZfmQn
原文：http://www.cnblogs.com/sengling/p/5170857.html