Changeset 5140 in josm

Timestamp:

2012-03-31T11:59:27+02:00 (14 years ago)

Author:

simon04

Message:

fix #7030 - manual plugin update does not clear "you should update" status

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

@@ -37 +37 @@
 
 import org.openstreetmap.josm.Main;
+import org.openstreetmap.josm.data.Version;
 import org.openstreetmap.josm.gui.HelpAwareOptionPane;
 import org.openstreetmap.josm.gui.HelpAwareOptionPane.ButtonSpec;
@@ -285 +286 @@
                             model.updateAvailablePlugins(task.getAvailabePlugins());
                             pnlPluginPreferences.refreshView();
+                            Main.pref.putInteger("pluginmanager.version", Version.getInstance().getVersion()); // fix #7030
                         }
                     });