|
From: Slava P. <sl...@je...> - 2002-01-23 00:08:48
|
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 |