Я знаю, что можно изменить размер шрифта консоли в настройках, но это очень утомительно. Пример * +1003 *
Как изменить размер шрифта консоли / терминала с помощью ярлыков?
В настоящее время невозможно, пожалуйста, проголосуйте за IDEA-116253 , чтобы получать уведомления о любом прогрессе с этой функцией