[ jEdit-devel ] Plugin updates: XML and ErrorList

[Slava P. <sl...@je...>]

Mike,

ErrorList 1.2.1 - tag release-1-2-1, requires jEdit 4.0pre4.
Changes:

- Updated for jEdit 4.0pre4 text area extension API

XML 0.7 - tag release-0-7, requires jEdit 4.0pre4 and ErrorList 1.2.1.
Changes:

- HTML files are parsed using Swing HTML parse
- XML Tree window no longer needs to be open for XML parsing to take
place
- Attributes of type "ID" are now listed in the XML Insert window
- Improved tag and entity completion
- Tag highlighting shows status bar message if matching tag not visible
- Tag completion for XML schema (.xsd) files
- Updated for jEdit 4.0 and ErrorList 1.2 API changes
- Bug fixes

Have fun,
-- 
Slava Pestov