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

最近上手了一款轻量级IDE phpStorm，但是就在调整编辑器字体大小时却遇到问题了， 发现字体大小没法调整，另外还有字体大小往左还有个“√”，始终没法去掉，这个勾限制了字体系列，就可怜巴巴的那几个，就下图那几个： （经过“setting->Editor->Colors&Fonts->Font”进行设置） phpStorm字体大小没法调整, <wbr>怎么办？ 后来反复google终于找到了办法，原来那个“Save As”按钮不是只是装饰的，仍是有大做用的。 首先咱们会选择主题，而后是须要保存的，保存时会弹出弹框，而后随便起个名字就能够了，如图： phpStorm字体大小没法调整, <wbr>怎么办？ 肯定，而后就能够调增字体大小了，而且那个限制字体系列的勾也能够去掉了，勾去掉后，就有好多字体了。 另外对于选择字体来讲，是须要先把左边框框中的字体选中，经过双击或者左右移动按钮，把字体移动到右边框框中 phpStorm字体大小没法调整, <wbr>怎么办？ 而后点击右边上下按钮移动字体，直至把你想要的字体移到最上边，而后“apply”，能够先预览下，以为好看的话就能够点击“ok”了，设置就成功了。