【发布时间】:2017-03-02 12:55:55
【问题描述】:
【问题讨论】:
-
你用的是什么字体?
-
我不确定,我认为这是默认的。
标签: phpstorm jetbrains-ide phpstorm-2016.3
【问题讨论】:
标签: phpstorm jetbrains-ide phpstorm-2016.3
编辑器字体大小可以在Preferences | Editor | Colors&Fonts | Font 中更改(不要忘记按Save as 按钮将默认架构保存为自定义架构 - 无法修改预定义架构)。
另请注意,您可以在编辑器中缩放字体。要使用键盘缩放文本,您需要将首选快捷键分配给Preferences | Keymap | Editor Actions 中的Increase font size、Decrease font size 和Reset font size 操作;要使用鼠标执行相同操作,请启用 Preferences | Editor | General 中的 Change font size (Zoom) with Ctrl+Mouse Wheel 选项并使用 Ctrl+mouse wheel 进行缩放
【讨论】: