this evening, i packaged and released the latest version of the XML
plugin, updated with recently contributed code by David Walend as well
as new stuff from Slava Pestov.
* XML 0.3: now uses Xerces (included), instead of microstar.xml;
on-the-fly parsing can be disabled (its disabled by default); display
of attributes can be configured, attributes shown in status bar if XML
tree docked; option pane for changing various settings; code cleanup
and reorganization; includes the start of a configurable system
ID/public ID resolver; optionally validates against a DTD or schema
(when available); requires jEdit 3.2pre9, EditBus 1.0.1, ErrorList
1.1, and JDK 1.1.
"Unvalidated documents: your gun, your bullet, your foot." -- Norm Walsh