Please update jEdit to new stable version 4.3.1
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
jedit (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned |
Bug Description
Binary package hint: jedit
jEdit 4.3.1 is a bugfix release (with minor features) against 4.3~pre18 which is currently in Ubuntu.
It build fine using sbuild and installed OK:
=======
$ sudo dpkg -i jedit_4.
(Lese Datenbank ... 516064 Dateien und Verzeichnisse sind derzeit installiert.)
Vorbereiten zum Ersetzen von jedit 4.3~pre18.
Entpacke Ersatz für jedit ...
Richte jedit ein (4.3.1.
Verarbeite Trigger für menu ...
Verarbeite Trigger für man-db ...
Verarbeite Trigger für desktop-file-utils ...
Verarbeite Trigger für python-gmenu ...
Rebuilding /usr/share/
Verarbeite Trigger für python-support ...
=======
I've made sure that it works ok by opening it, doing some editing and fetched updates using the Plugin Manager.
Related branches
tags: | added: patch |
Changed in jedit (Ubuntu): | |
status: | Triaged → New |
tags: | removed: patch |
I'll do this later today.
Test build is in my PPA already.