前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >phpStorm字体大小无法调整, 怎么办?

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

作者头像
全栈程序员站长
发布2022-07-08 11:15:20
1.1K0
发布2022-07-08 11:15:20
举报
文章被收录于专栏:全栈程序员必看

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

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

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

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

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

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

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

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

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

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

发布者:全栈程序员栈长,转载请注明出处:https://javaforall.cn/112459.html原文链接:https://javaforall.cn

本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2021年11月,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档