phpStorm如何修改代码字体样式及大小?
来源:网络收集 点击: 时间:2024-07-17【导读】:
phpStorm是一款很好用,功能很强大的php开发工具。每个人都有自已喜欢的字体样式,在phpstorm工具中,我们如何来修改初始的字体样式呢?一起来看看怎么操作设置吧!工具/原料moreThinkpad E431 Windows10专业版64位PHPStorm v2018.02方法/步骤1/8分步阅读
2/8
3/8
4/8
5/8
6/8
7/8
8/8
打开ide工具后,点击File菜单;也可以使用快捷键alt+F弹出菜单;

弹出菜单后,找到settings,点击打开设置界面;或者直接快捷键打开ctrl+alt+s,就不用点击file菜单;

弹出设置界面后,在左侧菜单树点击editor,展开功能;

展开后点击左侧或下方Font功能,都可以进入;

打开editor-font后,在Font下拉菜单点击弹出选择字体样式;
tips:共十种字体可选择;

选择好字体后,如果觉得字体大小和间距太小,可以修改size和line_spacing的值;
tips:line_spacing是按0.1增加调整;

设置完成后,点击右下角的Apply按钮即可完成设置;

总结:
1、点击File菜单,弹出菜单点击settings;
2、或是直接使用快捷键ctrl+alt+s打开设置;
3、点击左侧的editor功能;
4、展开editor后,点击font;
5、打开font界面后,点击font下拉菜单,选择喜欢的字体样式;
6、同时可以调整size大小和line spacing间距大小;
7、设置完成后,点击apply按钮即可;
PHPSTORM修改字体样式调整字体大小调整字体间距版权声明:
1、本文系转载,版权归原作者所有,旨在传递信息,不代表看本站的观点和立场。
2、本站仅提供信息发布平台,不承担相关法律责任。
3、若侵犯您的版权或隐私,请联系本站管理员删除。
4、文章链接:http://www.1haoku.cn/art_963090.html
上一篇:龙舌兰酒用用英语怎么说
下一篇:支付宝车金融申请流程