Il n'y avait pas de problème il y a quelques mois mais soudainement "Coller" ne fonctionne plus dans CodeMirror dans Google Chrome. Les deux "Ctrl + V", "Shift + Insert" et clic droit -> "Coller" ne f
J'utilise JQuery pour charger un fichier dans une zone de texte et CodeMirror pour le coloriser, mais il semble qu'ils ne fonctionnent pas bien: je peux charger le fichier ou la zone de texte (avec te