webstorm怎么设置字体大小?webstorm设置字体大小的方法

webstorm怎么设置字体大小?webstorm是一款多功能的HTML编辑工具,有些用户想要在webstorm中修改字体大小,但是不知道具体要怎么操作,下面就给大家分享webstorm设置字体大小的方法。

 方法:

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

webstorm怎么设置字体大小?webstorm设置字体大小的方法_软件科技_业界新闻    

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

webstorm怎么设置字体大小?webstorm设置字体大小的方法_软件科技_业界新闻    

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

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

webstorm怎么设置字体大小?webstorm设置字体大小的方法_软件科技_业界新闻    

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

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

以上就是我为大家分享的webstorm怎么设置字体大小?webstorm设置字体大小的方法的全部内容了,更多软件教程可以关注系统之家~

22
22
0
48

相关资讯

  1. 1、《主宰无双》竞技玩法大起底过关斩将争主宰2185
  2. 2、浪漫邂逅年末3D音舞大作《舞神》安卓首发迎新年842
  3. 3、移动游戏画质标杆《天空城:浩劫》公测即将来袭1618
  4. 4、《魔域口袋版》完美诠释要时尚更要“热战”1448
  5. 5、《偶像梦幻祭》帅气持续cos预选赛进行中118
  6. 6、《天下英雄》精美原画曝光匠心打造燃爆三国1241
  7. 7、征服世界大冒险《超级冒险家》今日启程4840
  8. 8、《十万个大魔王》魔宠突进之至强提升篇2909
  9. 9、《舰姬》图鉴—“传奇杀手”U-814965
  10. 10、阴阳师手游国庆节活动公告可免费领取神秘符咒4449
全部评论(0)
我也有话说
0
收藏
点赞
顶部