jEdit 5.6.0 is out!
Submitted by Thursday, 3 September, 2020 - 23:45
on
Hello everyone,
I proudly present jEdit 5.6.0, the first stable release of the 5.6 series of jEdit.
Detailed changes can as always be found in the Change Log attached in the end of this email, but here are some of the major features of this version:
Volunteers are always welcome to contribute to the future of jEdit:
http://www.jedit.org/index.php?page=devel
That being said, here is the download link:
http://www.jedit.org/index.php?page=download
Have fun with the new release.
I proudly present jEdit 5.6.0, the first stable release of the 5.6 series of jEdit.
Detailed changes can as always be found in the Change Log attached in the end of this email, but here are some of the major features of this version:
- Many bugfixes
- A major performance improvement when displaying big files
(do not ask why, but I needed to edit a 38 MiB one-line text file yesterday,
with jEdit 5.5.0 it was not at all workable, with 5.6.0 it worked quite fine) - UI language changes are now applied without the need to restart
- Windows launcher now considers JAVA_HOME environment variable
- The tray icon does not look ugly anymore on Linux with a dark theme
- Primary and Secondary fonts can now be selected for all Look and Feels
- Some new and some updated edit modes (SIPp, WKT, RPM Spec, Java, PlantUML, HL7, drawj2d)
Volunteers are always welcome to contribute to the future of jEdit:
http://www.jedit.org/index.php?page=devel
That being said, here is the download link:
http://www.jedit.org/index.php?page=download
Have fun with the new release.