最近上手了一款轻量级IDE phpStorm，可是就在调整编辑器字体大小时却遇到问题了， 发现字体大小无法调整，另外还有字体大小往左还有个“√”，始终无法去掉，这个勾限制了字体系列，就可怜巴巴的那几个，就下图那几个：
（通过“setting->Editor->Colors&Fonts->Font”进行设置）
后来反复google终于找到了办法，原来那个“Save As”按钮不是只是装饰的，还是有大作用的。
首先我们会选择主题，然后是需要保存的，保存时会弹出弹框，然后随便起个名字就可以了，如图：
确定，然后就可以调增字体大小了，并且那个限制字体系列的勾也可以去掉了，勾去掉后，就有好多字体了。
另外对于选择字体来说，是需要先把左边框框中的字体选中，通过双击或者左右移动按钮，把字体移动到右边框框中
然后点击右边上下按钮移动字体，直至把你想要的字体移到最上边，然后“apply”，可以先预览下，觉得好看的话就可以点击“ok”了，设置就成功了。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
发布者：全栈程序员-用户IM，转载请注明出处：https://javaforall.cn/112459.html原文链接：https://javaforall.cn
【正版授权，激活自己账号】： Jetbrains全家桶Ide使用，1年售后保障，每天仅需1毛
【官方授权 正版激活】： 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...