首页
学习
活动
专区
圈层
工具
发布
社区首页 >专栏 >PHPstorm设置字体大小

PHPstorm设置字体大小

作者头像
超级小可爱
发布2023-02-20 15:34:40
发布2023-02-20 15:34:40
4.7K0
举报
文章被收录于专栏:小孟开发笔记小孟开发笔记

PhpStorm 是 JetBrains 公司开发的一款商业的 PHP 集成开发工具,旨在提高用户效率,可深刻理解用户的编码,提供智能代码补全,快速导航以及即时错误检查。

它的功能有很多,在这里我只介绍智能PHP编辑器的功能;

功能如下:

● PHP代码补全。

● 智能的重复编码检测器。

● PHP重构。

● 支持Smarty和PHPDoc。

● 支持多语言混合。

一款优秀的代码编辑器可以提高程序员用户的工作效率,快速方便得进行大型编程。那么对于初次使用phpstorm的新手来说,可能还不太清楚phpstorm的基础设置,比如字体大小及样式。不论是在工作中还是学习中,安装完初次打开,字体都看着很不舒服,大家也都知道变换字体的大小是在文件中,但是那都是英文,有许多我们不认识的,这就加大了难度,有人会说把这个PhpStorm 软件给汉化一下,其实我认为没必要去汉化,汉化后的PhpStorm软件很多功能无法实现,很多快捷键和设置和一些功能都打不开,所以还是乖乖使用英文版的吧。

下面我们就给大家介绍如何设置修改phpstorm中的字体大小及样式。

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

首先我们找到File并打开设置settings选项,如图所示:(打开后是这样的)

二、找到editor->font栏目选项。如图所示(找到后是这样的)

如下图,修改size中的数字,即可更换代码编辑区域的字体大小。我们可以在下面代码示例区域进行预览。选择好合适的大小后,点击OK就可以了。(很明显这张图片与上一张图片中Restore Defaults下方字体大小不一样)

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

我这里换的是仿宋,你只需找到Font就可以了,点开后面的方框随便换各种字体。

本篇文章就是关于PhpStorm设置字体大小及样式的具体介绍

未经允许不得转载:肥猫博客 » PHPstorm设置字体大小

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

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

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

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

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 我这里换的是仿宋,你只需找到Font就可以了,点开后面的方框随便换各种字体。
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档