Changeset 1603 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2009-05-19T19:01:13+02:00 (16 years ago)

Author:

stoecker

Message:

fixed #2602 - patch by Matt,avar - Search keywords child and parent

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java (modified) (2 diffs)

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

@@ -34 +34 @@
 import javax.swing.JOptionPane;
 import javax.swing.JPanel;
+import javax.swing.UIManager;
 import javax.swing.event.HyperlinkEvent;
 import javax.swing.event.HyperlinkListener;
 import javax.swing.event.HyperlinkEvent.EventType;
-import javax.swing.UIManager;
 
 import org.openstreetmap.josm.Main;
@@ -135 +135 @@
         if (pluginMap == null)
             pluginMap = new HashMap<String, Boolean>();
-        else
+        else {
             // Keep the map in bounds; possibly slightly pointless.
-            for (final String pname : pluginMap.keySet())
-                if (availablePlugins.get(pname) == null) pluginMap.remove(pname);
+            Set<String> pluginsToRemove = new HashSet<String>();
+            for (final String pname : pluginMap.keySet()) {
+                if (availablePlugins.get(pname) == null) pluginsToRemove.add(pname);
+            }
+            
+            for (String pname : pluginsToRemove) {
+                pluginMap.remove(pname);
+            }
+        }
 
         pluginPanel.removeAll();