Ticket #1399 (closed enhancement: wontfix)
Sortir Codemirror du plugin themeEditor
Reported by: | Osku | Owned by: | team |
---|---|---|---|
Priority: | normal | Milestone: | |
Component: | module:javascript | Version: | 2.5 |
Severity: | normal | Keywords: | codemirror |
Cc: |
Description
Il serait bienvenue de sortir le JavaScript CodeMirror du plugin "Éditeur de thème" afin que tous les autres plugins puissent en profiter.
Change History
comment:2 Changed 11 years ago by philippe
On pourrait peut-être intégrer une version plus générique de CodeMirror? au core et n'utiliser que le sous-ensemble nécessaire pour l'éditeur ?
comment:3 Changed 11 years ago by franck
En attendant si tu as un besoin express, tu peux aussi appeler directement les js qui vont bien depuis l'éditeur de thème (index.php?pf=themeEditor/codemirror…), vu que l'éditeur est livré en standard, ça devrait rouler.
Et puis n'oublions pas : « Ne pas respecter le concept YAGNI est un anti-pattern. le concept YAGNI dit qu'il ne faut pas implémenter maintenant quelque chose dont on pense qu'il sera utile plus tard. » (wikipedia : http://fr.wikipedia.org/wiki/Antipattern)
Attention car la version de codemirror intégrée au plugin "Éditeur de thème" est un sous-ensemble du projet et ne gère que quelques syntaxes seulement (JS, PHP, XML, CSS et HTML).