jEdit 4.2pre1 now available
Submitted by Friday, 2 May, 2003 - 01:44
on
jEdit 4.2pre1 is now available. Main changes are a new display engine in the text area and an overhauled plugin system, but there is much more. See the change log for a full list. If you are a plugin developer, take a look at the jEdit 4.2 plugin porting guide. Go to #jedit on irc.freenode.net to discuss this release with other users.