Nuove possibilità di personalizzazione dell’editor di codice