如何修改 phpstorm 字体大小的字体大小和样式

最近上手了一款轻量级IDE phpStorm,可是就在调整编辑器字体大小时却遇到问题了, 发现字体大小无法调整,另外还有字体大小往左还有个&&&,始终无法去掉,这个勾限制了字体系列,就可怜巴巴的那几个,就下图那几个:
(通过&setting-&Editor-&Colors&Fonts-&Font&进行设置)
后来反复google终于找到了办法,原来那个&Save As&按钮不是只是装饰的,还是有大作用的。
首先我们会选择主题,然后是需要保存的,保存时会弹出弹框,然后随便起个名字就可以了,如图:
确定,然后就可以调增字体大小了,并且那个限制字体系列的勾也可以去掉了,勾去掉后,就有好多字体了。
另外对于选择字体来说,是需要先把左边框框中的字体选中,通过双击或者左右移动按钮,把字体移动到右边框框中
然后点击右边上下按钮移动字体,直至把你想要的字体移到最上边,然后&apply&,可以先预览下,觉得好看的话就可以点击&ok&了,设置就成功了。
除特别声明,本站所有文章均为原创,如需转载请以超级链接形式注明出处:">
您对本文章有什么意见或着疑问吗?请到您的关注和建议是我们前行的参考和动力&&phpstorm怎样调整字体编码_百度知道
phpstorm怎样调整字体编码
提问者采纳
/zhidao/wh%3D450%2C600/sign=ee052ef4a4f3a39c3fbfc/aafc55b319eac41374.jpg" esrc="http.baidu://g.com/zhidao/wh%3D600%2C800/sign=9b1b912b1dcf/aafc55b319eac41374.hiphotos.baidu.baidu右下角有字符编码://g.com/zhidao/pic/item/aafc55b319eac41374://g
其他类似问题
为您推荐:
等待您来回答
下载知道APP
随时随地咨询
出门在外也不愁

我要回帖

更多关于 phpstorm 修改字体 的文章

 

随机推荐