В Intellij IDEA, как изменить шрифты «messages: Build»?

Question

Я хотел бы использовать моноширинный маленький шрифт в окнах подсказок Intellij IDEA «messages: build».

Я обнаружил, что могу переопределить его в разделе «Внешний вид и поведение> Внешний вид: переопределить шрифт по умолчанию».Но это меняет его везде, в том числе в меню настроек, заголовке и т. Д.

Я тестировал в «Редакторе> Цветовая схема> Шрифт консоли»: «Использовать шрифт консоли вместо стандартного», но он меняется только внекоторые другие окна консоли, а не «message: build».

Кто-нибудь знает, как это сделать?Я использую Community Edition 2018.1.4.

(ps: причина в том, что мой компилятор печатает статистику, которая плохо согласована со стандартными сообщениями без моноширинного шрифта).

Answer 1

Шрифт, используемый в окне «Сообщения», действительно взят из настроек «Внешний вид и поведение»> «Внешний вид».Есть связанный запрос: IDEA-125896 , чтобы иметь возможность настроить его отдельно от темы внешнего вида.