Changer la police de caractères et l'apparence de la zone d'édition principale
Vous pouvez changer la police de caractères et l'apparence par défaut de la zone d'édition principale en fonction de vos préférences.
Vous pouvez aussi activer ou désactiver d'autres paramètres d'affichage, par exemple : activer les actions en ligne, les conseils ou la pleine largeur de la zone d'édition principale.
Pour modifier l'apparence de la zone d'édition principale :