jEdit 4.2pre2 now available
Submitted by Friday, 30 May, 2003 - 03:52
on
The main focus of this release is a new folding engine that should be much more efficient. Not only is folding faster, but general display tasks such as scrolling should be zippier too.
Also, the plugin loader and API has undergone much improvement and debugging -- it is now stable enough to start porting plugins to. Developers, please update your plugins -- users will thank you for the reduced startup time.
There are also a number of new features, such as a kill ring, files in the favorites list, and a new BeanShell release.
Thanks to Carmine Lucarelli, Matt Albrecht, Ollie Rutherfurd and Sebastien Pierre for contributing to this release.
Also, the plugin loader and API has undergone much improvement and debugging -- it is now stable enough to start porting plugins to. Developers, please update your plugins -- users will thank you for the reduced startup time.
There are also a number of new features, such as a kill ring, files in the favorites list, and a new BeanShell release.
Thanks to Carmine Lucarelli, Matt Albrecht, Ollie Rutherfurd and Sebastien Pierre for contributing to this release.