Discussione: Code Mirror
Le nouvel éditeur html Code Mirror, c'est juste génial, exactement ce qu'il faut quand on a besoin de travailler en mode source.
L'idéal serait que ce soit le mode source des 2 autres éditeurs, peut-être sur le modèle de ce qui existait dans une vie antérieure du plugin Pages où l'on pouvait changer d'éditeur "à la volée" depuis l'intérieur d'une page en cours d'édition.