jEdit und das letzte Java-Update
schrieb am 28. November 2008TobiasNeue Version funktioniert wieder nach dem letzten Mac OS X Java-Update.
Nach dem letzen Java-Update hat mein geliebter Texteditor jEdit nicht mehr funktioniert. Plugins und Konfigurationsdateien löschen hat nichts gebracht. Installation neuerer oder älterer Versionen damals auch nicht.

Vor wenigen Tagen ist jetzt Version 4.3 pre 16 von jEdit erschienen und er läuft wieder… jedenfalls teilweise. Ich habe trotzdem noch einige Probleme mit der Standardschrift und die Pluginliste ist auch irgendwie fehlerhaft.
Hat jemand vielleicht eine Idee oder ähnliche Probleme?
