Changeset 2571 in josm

Timestamp:

2009-12-04T18:05:33+01:00 (15 years ago)

Author:

stoecker

Message:

don't display outdated plugins any more in selection - allows us to keep them in server list

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java

@@ -427 +427 @@
             }
         }
+        for (String p : PluginHandler.oldplugins)
+        {
+            if(availablePlugins.containsKey(p))
+                availablePlugins.remove(p);
+        }
     }
 }