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 Principale zone d'édition selon 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 Principale zone d'édition.
Pour modifier l'apparence de la Principale zone d'édition :