zoukankan      html  css  js  c++  java
  • phpStorm字体大小无法调整, 怎么办?

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

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

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

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

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

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

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

  • 相关阅读:
    海选女主角
    发工资咯:)
    绝对值排序
    数列有序!
    母牛的故事
    一文看懂外汇风险准备金率调整为 20%的含义
    1080i减少带宽
    为什么要采用隔行扫描?
    720P、1080P、4K是什么意思?
    VBR一次編碼 v.s 二次編碼(VBR 1-pass vs 2-pass)
  • 原文地址:https://www.cnblogs.com/lxwphp/p/15453504.html
Copyright © 2011-2022 走看看