Re: Accéder à git.spip.net

nicod_ a écrit le 18/04/2021 à 15:13 :
> Le 17/04/2021 à 21:27, Brice Boucard a écrit :
> Pour moi, ce vieux raccourci <cadre> devrait disparaitre, ne plus être 
> proposé dans le porteplume, et pour assurer la compatibilité ascendante 
> être systématiquement interprété comme le raccourci 
<code>, c'est à dire 
> avec un <pre><code> en html, et pas cette verrue hideuse de textarea qui 
> n'a rien à faire dans du html
+1

Par ailleurs, Skeleditor fait déjà de la coloration de code à la volée 
(avec édition en live).
https://git.spip.net/spip-contrib-extensions/skeleditor/src/branch/master/javascript

Donc, entre codemirror et PrismJS
Ça fait 2 libs js de coloration de code.

-- 
RealET