Die Version 4.2 von meinem Lieblingseditor jEdit steht jetzt als Final zum Download bereit. Was sich jetzt noch im Vergleich zum letzten Prerelease getan hat, finde ich nicht, aber im Vergleich zur Version 4.1 gibt es jede Menge Neues.

Für die Macianer wird normalerweise immer noch ein spezielles .dmg zum Download (welches insbesondere das MacOSX-Plugin enthält, mit dem man das Menü auch dort kredenzt bekommt, wo es hingehört) bereitgestellt. Dieses ist momentan noch nicht vorhanden.

[ Dank an und via Syntactic-Sugar ]