phpstorm terminal 字体大小设置：
File>settings>Colors & Fonts>Console Font
相关文章：
- PHPStorm设置Ctrl+滚轮调整字体大小 2021-10-13
- IDEA设置终端Terminal窗口字体和大小 2021-06-10
- 【PHPStorm使用手册】如何设置字体大小？ 2022-12-23
- PhpStorm中terminal窗口字体修改 2022-12-23
- phpstorm修改字体和大小 2022-12-23
- eclipse设置字体大小 2021-04-06
- MyEclipse设置字体大小 2021-07-22