这是问题所在：
配置：
- PhpStorm 2019.1
- 命令
- 视窗 10
- 字体：DejaVu Sans Mono for Powerline
- 尺寸：14
- 行距：1.0
我尝试了至少 5 种为 Powerline 制作的字体（Meslo、Droid、Roboto ......）我也尝试更改大小和行距
总是同样丑陋的空间。
在 VSCode 中使用完全相同的设置，它可以正确呈现：
如果有人有解决方案...
PS：不幸的是，我不知道在旧版本的 PHPStorm 上是否相同，这些天我只是想从 VSCode 切换到 PHPStorm
编辑：我真的认为这是一个行高问题，并且问题来自 PHPStorm，因为我在独立 Cmder 中没有问题。但是 PHPStorm 中不存在“line-height”选项（它与“line-spacing”不同）
编辑 2：我现在很确定它与 phpstorm 相关并且与 Cmder 无关：powershell也会发生同样的事情：
编辑3：似乎其他人遇到了这个问题，似乎：
- 它还没有修复
- 它与phpstorm无关，但与许多jet brains软件集成终端有关
jetbrains bug tracker 上的一些链接：