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.
Untuk versi PHPStorm 2017/2018, item itu berada di bawah item menu PHPStorm> Preferensi> Penampilan & Perilaku> Penampilan> Ganti font default dengan . Di sini Anda dapat mengubah font dan ukuran font.
sumber