jEdit / Merge Requests / #82 Update and install panel not refreshed

#82 Update and install panel not refreshed

Milestone: for 4.4.x

Status: closed-accepted

Owner: Alan Ezust

Labels: None

Priority: 5

Updated: 2011-10-02

Created: 2011-08-10

Creator: Matthieu Casanova

Private: No

Please merge rev19778

This fix the following bug :
Go to the Plugin manager, load the install panel.
Then in the Manage Panel, remove an installed plugin. Check the Install panel, this plugin will not be in the list of installable plugins.
The patch fixes that.
The same happens with the Updater panel.

http://jedit.svn.sourceforge.net/viewvc/jedit?view=revision&revision=19778

Discussion

Björn Kautler - 2011-09-24

milestone: --> for 4.4.x
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Björn Kautler - 2011-09-24

Matthieu, for what branch is this?
I suspect it is for 4.4.x and set the Group accordingly.
If this is not correct, please adjust the Group value, if it is for both, duplicate the request for 4.3.x.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Björn Kautler - 2011-09-30

MR for 4.3.x: http://sourceforge.net/support/tracker.php?aid=3415778

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2011-10-02

Committed rev#20039 to 4.4.x branch.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2011-10-02

assigned_to: nobody --> ezust

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Update and install panel not refreshed

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#82 Update and install panel not refreshed

Discussion