[MOD] GUI, Editor: improved highlighting of XML documents