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都还可以。

如图:

0d69f7ed25719193bf12680e4a94b2cc.png

修改结果为:

88c67d94dcac4d2e74a90ad4719de439.png

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

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

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

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

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

如图:

c71eae2f6feb27c2da9f358694a6e873.png

显示效果为

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

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

6fce8d90b3040d7c2fe357398416ee68.png

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值