Personnalisation du débogueur et de la console

Plusieurs préférences contrôlent l'aspect du débogueur.