L'editor di configurazione può essere usato per cambiare quelle opzioni di configurazione usate dalle applicazioni che non sono disponibili attraverso i dialoghi di preferenze.
