1200字范文,内容丰富有趣,写作的好帮手!
1200字范文 > php怎么改字体大小 phpstorm修改字体和大小

php怎么改字体大小 phpstorm修改字体和大小

时间:2021-08-09 18:00:40

相关推荐

php怎么改字体大小 phpstorm修改字体和大小

phpstorm是跨平台的,支持在Windows, macOS, 和Linux系统上使用,是使用Java语言开发php开发工具。经常由于各种原因我们想修改phpstorm中的字体和大小尺寸。

phpstorm支持个性化定义开发工具样式和行为,包括主题的修改,字体样式修改,字体大小修改,快捷键修改,插件配置等等。

下面我们讲的是phpstorm的字体样式和字体大小的修改。修改分为两个部分。一个是菜单、导航栏、工具栏、状态栏phpstorm自身样式的修改。另一个是代码编辑器的字体和大小修改,决定了代码显示的字体及字体大小。

一、菜单、导航栏、工具栏、状态栏phpstorm自身样式的修改

1. 点击 文件(File)- 设置(Settings)- 外观和行为(Appearance Behavior)- Appearance(外观)选项即可进入设置界面。 外观和行为(Appearance Behavior)下面的所有子选项都是phpstorm个性化设置。

2. 在使用自定义字体(use custom font)选项那里,修改为自己喜欢的字体即可,后面的尺寸(size)是字体大小的修改,单位为像素。一般14px,16px都还可以。

如图:

修改结果为:

可以看到,受影响的是菜单栏,导航栏,工具栏,状态栏的字体。代码编辑区域的代码字体并没有变化。

二、代码的字体及字体大小设置

1.点击 文件(File)- 设置(Settings)- 编辑器(Editor)- 字体(Font)选项。

编辑器栏(Editor)下的子选项都是对代码显示,代码提示,代码模板等代码相关的个性化设置。

2. 字体(Font)为代码显示的字体,尺寸(Size)为代码显示的字体大小,行间距(Line Spacing)为每行代码之间的距离,值越大两行代码离得越远。

如图:

显示效果为

可以看到,这里的设置只影响了代码的显示,修改了代码编辑器区域的代码字体及字体大小等。设置的时候还提供了预览。

上面的两部分就构成了phpstorm字体和字体大小的修改,完整的修改了字体样式和大小。

本内容不代表本网观点和政治立场,如有侵犯你的权益请联系我们处理。
网友评论
网友评论仅供其表达个人看法,并不表明网站立场。