Sono stato in grado di modificare il resto dei caratteri dell'IDE (ad esempio menu, finestre di dialogo, ecc.) Utilizzando i campi "Sostituisci caratteri predefiniti" nella schermata Impostazioni / Aspetto IDE della finestra di dialogo Impostazioni. Ma non sembra influenzare la dimensione del carattere della struttura di cartelle / file nella barra di navigazione di sinistra. Il font predefinito è così piccolo che riesco a malapena a leggerlo. Come posso cambiare quel carattere?
AGGIORNAMENTO: Apparentemente non riesco nemmeno a cambiare il carattere nell'editor.