Мне удалось изменить остальные шрифты среды IDE (то есть меню, диалоговые окна и т.д.) С помощью полей "Переопределить шрифты по умолчанию" на экране «Настройки / Внешний вид среды IDE» в диалоговом окне "Настройки". Но это, похоже, не влияет на размер шрифта дерева папок / файлов в левой панели навигации. Шрифт по умолчанию там такой маленький, что я едва могу его прочитать. Как я могу изменить этот шрифт?
ОБНОВЛЕНИЕ: я также очевидно не могу изменить шрифт в редакторе.