Saya dapat mengubah sisa font IDE (yaitu menu, dialog, dll.) Dengan menggunakan bidang "override font default" di layar Pengaturan / Tampilan IDE pada dialog Pengaturan. Tetapi sepertinya tidak mempengaruhi ukuran font dari folder / file tree di navbar kiri. Font default di sana sangat kecil sehingga saya hampir tidak bisa membacanya. Bagaimana saya bisa mengubah font itu?
UPDATE: Saya juga tampaknya tidak dapat mengubah font di editor.