Si, è appunto questo che mi lascia perplesso.
anche perchè l'altro editor si abilita e disabilita senza problemi.
Ieri avevo provato a cambiare qualche parametro di configurazione, per es. per la pulizia del codice, ma ho riportato i settaggi allo standard originale.
Ci vorrebbe un pulsante "reset to default" ma non mi pare si sia.
