phpStorm字体大小无法调整, 怎么办？

原文  http://beyondweb.cn/article_detail.php?id=375

最近上手了一款轻量级IDE phpStorm，可是就在调整编辑器字体大小时却遇到问题了， 发现字体大小无法调整，另外还有字体大小往左还有个“√”，始终无法去掉，这个勾限制了字体系列，就可怜巴巴的那几个，就下图那几个：

（通过“setting->Editor->Colors&Fonts->Font”进行设置）

后来反复google终于找到了办法，原来那个“Save As”按钮不是只是装饰的，还是有大作用的。

首先我们会选择主题，然后是需要保存的，保存时会弹出弹框，然后随便起个名字就可以了，如图：

确定，然后就可以调增字体大小了，并且那个限制字体系列的勾也可以去掉了，勾去掉后，就有好多字体了。

另外对于选择字体来说，是需要先把左边框框中的字体选中，通过双击或者左右移动按钮，把字体移动到右边框框中

然后点击右边上下按钮移动字体，直至把你想要的字体移到最上边，然后“apply”，可以先预览下，觉得好看的话就可以点击“ok”了，设置就成功了。