What's new in jEdit 5.1

The jEdit all-volunteer development team


Detailed changes can always be found in the Detailed Change Log, but here are some of the major features of this version.