Personalizzazione del debugger e della console

Sono presenti varie preferenze per il controllo dell'aspetto del debugger.