WebStorm如何设置字体大小 设置字体大小方法分享

2024-06-25 22:07:16阅读量:95 字体:

webstorm是一款非常专业的编程软件。如果在使用过程中觉得字体太小的话可以修改,不知道怎么操作可以看看下面的教程。

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

WebStorm如何设置字体大小 设置字体大小方法分享

点击文件设置,或者直接Ctrl+Alt+S快捷键。

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

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

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

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

WebStorm相关攻略推荐:

WebStorm如何设置主题 自定义主题方法分享

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

以上就是小编为大家带来的关于webstorm修改代码字体大小介绍,希望能够对你有一定帮助,到时候可以试试了。

推荐阅读

  • 地摊怎么申请微信商家码

    地摊怎么申请微信商家码

    地摊想要申请微信商家收款二维码,可以从微信收款小账本进行相关设置即可申请微信商家收款二维码,通过以下步骤可以申请微信商家收款二维码: 地摊怎么申请微信商家码 1、打开微信,切换到发现页面,点击小程序&...

    阅读: 907

  • 微信拉黑和删除

    微信拉黑和删除

    微信加入黑名单后给对方发消息,对方可以看到但不能回复,微信删除后双方都不能发消息,微信拉黑和删除具体步骤如下: 微信拉黑和删除 1、打开微信,切换到通讯录页面,点击联系人”进入联系人名片...

    阅读: 846

  • qq音乐删除访问记录别人能看见吗

    qq音乐删除访问记录别人能看见吗

    qq音乐删除了访问记录别人是不能看到的,可以在访客功能中删除访问记录,通过以下步骤删除qq音乐访问记录: qq音乐删除访问记录别人能看见吗 1、打开qq音乐,切换到个人中心,点击头像”进入...

    阅读: 802

  • 新加好友怎么才能分享屏幕

    新加好友怎么才能分享屏幕

    qq聊天中自带有分享屏幕的功能,只要加了好友,直接点击分享屏幕就可以将屏幕分享给对方。具体操作方法如下: 新加好友怎么才能分享屏幕 1.在qq中找到要分享屏幕的好友,点击进入对话界面。 2.点击对话...

    阅读: 886

  • 手机锁屏微信语音视频没有提示声音

    手机锁屏微信语音视频没有提示声音

    手机锁屏微信语音视频没有提示声音可能是关闭了,接收语音和视频通话邀请提醒,如果关闭了就不会有提醒,可以通过设置重新开启这个功能,具体操作步骤如下: 手机锁屏微信语音视频没有提示声音 1、打开微信app...

    阅读: 893

  • 荣耀60声音小怎么办

    荣耀60声音小怎么办

    如果荣耀60手机的声音比较小的话,可以去系统内进行相应的调整,把手机的声音调大,具体的操作步骤如下: 荣耀60声音小怎么办 1、打开手机的设置,点击声音和振动”按钮,进入声音和振动的设置页...

    阅读: 977