Можно ли изменить шрифт содержимого шрифта панели Intellij IDEA «Журнал событий»?Я использую Community Edition 2019.1.
У меня есть поиск в Google и здесь, но цветовая схема не содержит эту конфигурацию.
IntelliJ IDEA использует шрифт из среды IDE Внешний вид в окне инструментов Журнал событий :
Межстрочный интервал взят из Консольного шрифта * Настройки 1015 *:
Нетотдельная настройка шрифта для журнала событий .
