前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
社区首页 >专栏 >phpstorm怎么调字体大小

phpstorm怎么调字体大小

作者头像
超级小可爱
发布2023-02-23 09:44:03
发布2023-02-23 09:44:03
3.4K0
举报
文章被收录于专栏:小孟开发笔记小孟开发笔记

phpstorm怎么调字体大小

phpstorm

PHPstORM中调字体大小的方法:1、打开phpstorm;2、点击“File”菜单栏并选择“setting”设置选项;3、在设置中点击左侧“Editor”展开子菜单并选择“Font”;4、在Font对话框中的“Site”一栏里根据你需要调整字体的大小来设置对应的数值即可。

具体内容如下:

一、设置代码编辑区域的字体(字体大小、样式及行间距)

首先我们打开设置setting选项,如下。

找到editor->font栏目选项。

如下图,修改size中的数字,即可更换代码编辑区域的字体大小。我们可以在下面代码示例区域进行预览。选择好合适的大小后,点击确认应用就可以了。

然后我们可以在editor->font选项中,通过修改Font的值,来更换字体的样式,以及修改Line spacing的值来设置行间距。同样,我们可以通过示例区域进行预览,选择合适的字体样式及行间距后,点击确定即可。

二、设置工具栏处的字体

打开设置setting,选择如下选项appearance & behavior->appearance。

然后先勾选上图中选项,再通过设置size值即可更换工具栏处的字体大小了。

–结束END–

未经允许不得转载:肥猫博客 » phpstorm怎么调字体大小

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

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

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

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

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • phpstorm怎么调字体大小
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档