要修改PHPStorm的字体大小,可以按照以下步骤进行操作:
-
打开PHPStorm,并进入设置(Settings)界面。
-
在设置界面中,选择“Appearance & Behavior” > “Appearance”。
-
在“Appearance”选项卡中,找到“Override default fonts by”选项,并勾选它。
-
在下方的“Size”输入框中,输入你想要的字体大小,例如“14”。
-
点击“Apply”按钮保存修改。
演示代码:
// 这是一段PHP代码
<?php
echo "Hello, PHPStorm!";
?>
以上操作可以帮助你修改PHPStorm的字体大小。