Небольшой баг интерфейса: если изменить шрифт в окне отладки, где ещё автоматическая прокрутка, то любой установленный шрифт имеет огромный размер. Только шрифт по-умолчанию бывает маленьким. И кстати не все сообщения выводятся установленным шрифтом.
Это давно так.