1

Puoi modificare la dimensione predefinita della finestra dell'editor nelle preferenze utente.