| |||||
| Dernière réponse | |
|---|---|
| Sujet : un bon éditeur XML | |
| TBone | j'utilise jEdit 4.0 et son plugin xml.
www.jedit.org ce n'est pas ce qui a de mieux mais ça fait tout ce que je demande à un éditeur XML. installer le plug via jEdit (Plugin Manager) relancer jEdit, Utilities > Global Options > Plugin options. c'est en Swing donc ça prend parfois son temps (surtout pour Global Options) mais si tu as une JVM hotspot ça va mieux après qques instants. |
| Vue Rapide de la discussion |
|---|