Comment modifier l'éditeur de code [FR]

[Chrys]

Bonjour
Il est possible de changer les couleurs syntaxiques dans l'éditeur de code HTML pour les messages.
Mais est-il possible de grossir le texte du code ?
La grosseur du texte est très/trop petite par défaut !
Merci
Bien à vous

 

[stanbusk]

La version actuelle ne permet pas cela mais je vais voir si cel est faisable.

 

[Chrys]

Merci, ça serait super.