webstorm设置字体大小详细操作方法

2024-06-25 22:53:00阅读量：105 字体：大 中 小

最近一些使用webstorm软件的用户们，询问其中是怎么样设置字体大小的?今天在此文章内就为各位带来了webstorm设置字体大小的详细操作方法。

webstorm设置字体大小详细操作方法

webstorm默认的字体大小一般 ，不适合我，接着我就来修改一下。

点击“文件”——“设置”，或者直接Ctrl+Alt+S快捷键。

然后用鼠标双击“编辑器”——“颜色和字体”。

接着找到“font”，并且用鼠标单击“font”选项。

如果是新安装的webstorm，是无法编辑字体大小的，接着我们点击”另存为“，如果可以编辑字体，则忽略这一步。

点击另存为会弹出一个”配色方案“窗口，随便命名一下就可以了。

之后，当”删除“按钮变亮，说明可以 编辑字体了，这时候修改字体即可。

相信你们看完了上文讲解的webstorm设置字体大小的详细操作方法，应该都学会了吧!

免责声明：

本文《webstorm设置字体大小详细操作方法》版权归原作者所有,内容不代表本站立场！

如本文内容影响到您的合法权益（含文章中内容、图片等），请及时联系本站，我们会及时删除处理。

推荐阅读

  • 抖音怎么0.5倍速播放

    抖音怎么0.5倍速播放

    抖音视频播放有四种倍速选择，要设置0.5倍播放，在视频播放中即可直接设置。具体操作方法如下： 抖音怎么0.5倍速播放 1、打开手机抖音app，进入视频播放，长按视频，进入播放设置页面。 2、点击倍速...

    阅读: 761

  • 删除微信表情包

    删除微信表情包

    很多人的微信添加了很多表情包，如果要将微信内添加的表情包删除，进入微信的表情功能页面即可进行删除。具体操作方法如下： 删除微信表情包 1、打开手机微信app，点击我”，再点击表情&rdqu...

    阅读: 761

  • 家人地图如何开启永久位置

    家人地图如何开启永久位置

    家人地图是高德地图推出的家人定位查询功能，要开启家人地图永久位置分享，可以直接在家人地图设置中开启。具体操作方法如下： 家人地图如何开启永久位置 1、打开手机高德地图app，点击我的”。 ...

    阅读: 813

  • 快手号怎么修改不了,只有复制

    快手号怎么修改不了,只有复制

    快手号只有复制，修改不了，是因为近期已经修改过快手号了，从修改时开始需要等待90天后才能再次修改。修改快手号的具体操作方法如下： 快手号怎么修改不了,只有复制 1、打开手机快手app，点击左上角三条横...

    阅读: 693

  • qq群怎么设置不让群成员加好友

    qq群怎么设置不让群成员加好友

    qq群目前还不能设置不让群成员加好友，只能设置不让群里的人发起临时会话减少群员的互动性。设置不让群里的人发起临时会话的具体操作如下： qq群怎么设置不让群成员加好友 1、打开手机QQ软件，找到自己创建...

    阅读: 678

  • 朋友圈设置三天可见是对所有人吗

    朋友圈设置三天可见是对所有人吗

    朋友圈三天可见是针对朋友圈的一个设置，针对所有的朋友，朋友圈设置三天可见后，所有朋友只能看到你最近三天的朋友圈。朋友圈设置三天可见的具体操作如下： 朋友圈设置三天可见是对所有人吗 1、打开手机微信ap...

    阅读: 697

热门文章

最近更新