社区 学习 工具库 休闲
搜索
简体中文
首页 > 开发工具 > phpstorm > 正文

phpstorm怎么设置字体

爱喝马黛茶的安东尼
发布： 2019-08-08 09:58:11
原创
4812 人浏览过

phpstorm怎么设置字体

首先在菜单栏中点击“File”，在下拉菜单中选择“Settings”。

1565228691(1).png

相关推荐：《PhpStorm使用教程》

进入设置之后，选择“Appearance”。设置“Size”的值即可设置界面上的字体。

1565228994456684.png

然后再设置编辑器内容的字体和大小。选择“Colors&Fonts”，然后再设置“Size”的值即可。

1565228928872079.png

效果如下：

1565229203292972.png

以上是phpstorm怎么设置字体的详细内容。更多信息请关注PHP中文网其他相关文章！

相关标签：
phpstorm 字体 设置
来源：php.cn
上一篇：phpstorm怎么设置中文 下一篇：phpstorm过期怎么激活
本站声明
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn
作者最新文章
最新问题
function_exists()无法判定自定义函数 function test()    {        return true;    }    if (function_exists('TEST')) {        ech...
来自于 2024-04-29 11:01:01
0
2
1984
google 浏览器 手机版显示的怎么实现 老师您好，google 浏览器怎么变成手机版样式的？
来自于 2024-04-23 00:22:19
0
10
2146
子窗口操作父窗口，输出没反应 前两句可执行，最后一句没法应
来自于 2024-04-19 15:37:47
0
1
1812
父窗口没有输出 document.onclick = function(){ window.opener.document.write('我是子窗口的输出');                  ...
来自于 2024-04-18 23:52:34
0
1
1706
关于CSS思维导图的课件在哪？ 课件
来自于 2024-04-16 10:10:18
0
0
1720
相关专题
更多>
热门推荐
热门教程
更多>
相关教程
热门推荐
最新课程
最新下载
更多>
网站特效
网站源码
网站素材
前端模板