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.
---------------
As the plane took off, the pilot turned to the co-pilot and said, “Have you ever flown solo?” Co-pilot: No. Typically I fly much higher than this.