您的位置:首页 > 技术中心 > PHP教程 >

怎么设置Phpstorm字体大小及样式

时间:2019-11-06 17:57

对于PHP学习者来说,phpstorm大家肯定不陌生。phpstorm是 JetBrains 公司开发的一款商业的 PHP 集成开发工具(智能的PHP代码编辑器)。

一款优秀的代码编辑器可以提高程序员用户的工作效率,快速方便得进行大型编程。那么对于初次使用phpstorm的新手来说,可能还不太清楚phpstorm的基础设置,比如字体大小及样式。

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

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

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

找到editor->font栏目选项。

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

f5dcfba7ae73fbf4d7dade8a745eef8.png

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

40a8736110468a286c0534375fbb6e1.png

二、设置工具栏处的字体

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

e4b91a1021e921e2964e33d6d8adf32.png

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

7ccb9575d27347ab3f223fca4822c79.png

PhpStorm下载地址:

PhpStorm Mac 版:http://www.php.cn/xiazai/gongju/510

PhpStorm 18.2.1 Win版:http://www.php.cn/xiazai/gongju/122

本篇文章就是关于phpstorm设置字体大小及样式的具体介绍,希望对需要的朋友有所帮助!

以上就是怎么设置Phpstorm字体大小及样式的详细内容,更多请关注gxlsystem.com其它相关文章!

热门排行

今日推荐

热门手游