Personnalisation du débogueur et de la console
Plusieurs préférences contrôlent l'aspect du débogueur.