Changeset 1769 in josm for trunk/src/org

Timestamp:

2009-07-11T18:09:30+02:00 (15 years ago)

Author:

stoecker

Message:

fix #2902 - patch by jttt - plugin update

File:

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

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

@@ -65 +65 @@
         Set<PluginInformation> toUpdate = new HashSet<PluginInformation>();
         StringBuilder toUpdateStr = new StringBuilder();
-        for (PluginProxy proxy : PluginHandler.pluginList) {
-            PluginInformation local = localPlugins.get(proxy.info.name);
+        for (String pluginName : Main.pref.getCollection("plugins", Collections.<String>emptySet())) {
+            PluginInformation local = localPlugins.get(pluginName);
             PluginInformation description = availablePlugins.get(local.name);