Supplément: le nouvel éditeur reconnaît les couleurs

Après avoir mis en place notre nouvel éditeur il y a deux bonnes semaines (voir l'article "Améliorations supplémentaires"), voilà désormais un truc sympa de plus que beaucoup d'entre vous ont souhaité. Dès maintenant vous pouvez déterminer directement la couleur de police dans l'éditeur.