首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    PHPstorm设置字体大小

    PhpStorm 是 JetBrains 公司开发的一款商业的 PHP 集成开发工具,旨在提高用户效率,可深刻理解用户的编码,提供智能代码补全,快速导航以及即时错误检查。 它的功能有很多,在这里我只介绍智能PHP编辑器的功能; 功能如下: ● PHP代码补全。 ● 智能的重复编码检测器。 ● PHP重构。 ● 支持Smarty和PHPDoc。 ● 支持多语言混合。 一款优秀的代码编辑器可以提高程序员用户的工作效率,快速方便得进行大型编程。那么对于初次使用phpstorm的新手来说,可能还不太清楚phpstorm的基础设置,比如字体大小及样式。不论是在工作中还是学习中,安装完初次打开,字体都看着很不舒服,大家也都知道变换字体的大小是在文件中,但是那都是英文,有许多我们不认识的,这就加大了难度,有人会说把这个PhpStorm 软件给汉化一下,其实我认为没必要去汉化,汉化后的PhpStorm软件很多功能无法实现,很多快捷键和设置和一些功能都打不开,所以还是乖乖使用英文版的吧。 下面我们就给大家介绍如何设置修改phpstorm中的字体大小及样式。 一、设置代码编辑区域的字体(字体大小、样式) 首先我们找到File并打开设置settings选项,如图所示:(打开后是这样的)

    04
    领券