Changeset 1769 in josm

Timestamp:

Jul 11, 2009 6:09:30 PM (4 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);