La police du code peut-elle être agrandie
Paramètres-> L'éditeur contient les paramètres de taille de police
Paramètres-> L'éditeur contient les paramètres de taille de police