Вот проблема:
Конфиг:
- PhpStorm 2019.1
- Cmder
- Windows 10
- Шрифт: DejaVu Sans Mono для Powerline
- Размер: 14
- Межстрочный интервал: 1,0
Я пыталсякак минимум 5 шрифтов для Powerline (Meslo, Droid, Roboto ...) Я также пытался изменить размер и межстрочный интервал
Всегда один и тот же уродливый пробел.
С такими же настройкамив VSCode он правильно отображает:
Если у кого-то есть решение ...
PS: К сожалению, я не могускажите, если на старых версиях PHPStorm то же самое, я просто пытаюсь переключиться с VSCode на PHPStorm в эти дни
РЕДАКТИРОВАТЬ: я действительно думаю, что это проблема высота строки , и этопроблема исходит от PHPStorm, так как у меня нет проблемы в автономном Cmder.Но опция «высота строки» не существует в PHPStorm (она отличается от «межстрочный интервал»)
РЕДАКТИРОВАТЬ 2: Теперь я почти уверен, что он связан с phpstorm и не имеет ничего общегос Cmder: то же самое происходит с powershell :
РЕДАКТИРОВАТЬ 3: Кажется, другие люди сталкивались с этой проблемой, и этоКажется, что:
- это еще не исправлено
- это не связано с phpstorm, но со многими терминалами с интегрированным программным обеспечением Jet Brain
Некоторые ссылкина трекере багбрейнса: