Я пытаюсь изменить межстрочный интервал в окне терминала, потому что он слишком разнесен, чтобы мне было удобно читать на маленьком мониторе.Я считаю, что нашел соответствующую страницу настроек: 
Минимальный межстрочный интервал, который он позволяет мне установить, составляет 0,6, хотя я бы предпочел 0, это нормально.
Проблема, однако, в том, что даже когда я перезагружаю окно PyCharm, интервал между терминалами все еще ужасен:
Если что-то выглядиткак будто это хуже, чем было раньше, как интервал по-прежнему имеет размер шрифта 12, а все остальное - размер шрифта 10.
Почему PyCharm не позволяет мне изменять межстрочный интервал в терминале?Что мне нужно сделать, чтобы это выглядело более читабельным?