phpstorm是 JetBrains 公司开发的一款商业的 PHP 集成开发工具（智能的PHP代码编辑器）。我们可以在setting选项中editor->font和appearance栏目下，设置phpstorm字体大小及样式。
技术文章 / 下载软件趣味内容 / 专业带飞
