资讯

精准传达 • 有效沟通

从品牌网站建设到网络营销策划,从策略到执行的一站式服务

PhpStorm设置字体大小的方法

这篇文章主要介绍了PhpStorm设置字体大小的方法,具有一定借鉴价值,感兴趣的朋友可以参考下,希望大家阅读完这篇文章之后大有收获,下面让小编带着大家一起了解一下。

成都创新互联服务项目包括澄城网站建设、澄城网站制作、澄城网页制作以及澄城网络营销策划等。多年来,我们专注于互联网行业,利用自身积累的技术优势、行业经验、深度合作伙伴关系等,向广大中小型企业、政府机构等提供互联网行业的解决方案,澄城网站推广取得了明显的社会效益与经济效益。目前,我们服务的客户以成都为中心已经辐射到澄城省份的部分城市,未来相信会继续扩大服务区域并继续获得客户的支持与信任!

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

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

功能如下:

PHP代码补全。
智能的重复编码检测器。
PHP重构。
支持Smarty和PHPDoc。
支持多语言混合。

一款优秀的代码编辑器可以提高程序员用户的工作效率,快速方便得进行大型编程。

那么对于初次使用phpstorm的新手来说,可能还不太清楚phpstorm的基础设置,比如字体大小及样式。

不论是在工作中还是学习中,安装完初次打开,字体都看着很不舒服,大家也都知道变换字体的大小是在文件中,但是那都是英文,有许多我们不认识的,这就加大了难度。

有人会说把这个PhpStorm 软件给汉化一下,其实我认为没必要去汉化,汉化后的PhpStorm软件很多功能无法实现,很多快捷键和设置和一些功能都打不开,所以还是乖乖使用英文版的吧。

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

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

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

PhpStorm设置字体大小的方法二、找到editor->font栏目选项。如图所示(找到后是这样的)

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

PhpStorm设置字体大小的方法然后我们可以在editor->font选项中,通过修改Font的值,来更换字体的样式,以及修改Line spacing的值来设置行间距。

同样,我们可以通过示例区域进行预览,选择合适的字体样式及行间距后,点击OK即可。

如图所示:

PhpStorm设置字体大小的方法

感谢你能够认真阅读完这篇文章,希望小编分享的“PhpStorm设置字体大小的方法”这篇文章对大家有帮助,同时也希望大家多多支持创新互联,关注创新互联行业资讯频道,更多相关知识等着你来学习!


当前题目:PhpStorm设置字体大小的方法
文章地址:http://cdkjz.cn/article/johocj.html
多年建站经验

多一份参考,总有益处

联系快上网,免费获得专属《策划方案》及报价

咨询相关问题或预约面谈,可以通过以下方式与我们联系

大客户专线   成都:13518219792   座机:028-86922220