)
Si c'est toi qui fais la police -> non c'est pas moi, je vais voir si je peux la changer
Sinon, ce qui serait pas mal, ce serait d'abaisser les listes déroulantes "image et liste" histoire de pouvoir agrandir en largeur la zone de code. -> Tu veux donc que la largeur de la zone de code soit plus grande ? Tu me fais penser qu'il faut que je teste mon truc sur des résolution plus basses que chez moi ^^. Je vais voir si j'augmente, disons que actuellement c'est 50% de l'écran
option pour désactiver l'indentation -> Je prend note ! Aussi, faudrait me préciser quand y'a des problèmes d'indentation dans quel cas ça se produit exactement.
D'ailleurs comme la coloration se garde pas quand on copie le texte, faudrait aussi un bouton d'impression... -> une page d'"exportation" est en projet. Pour ce qui est de l'impression, bonne idée.