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

Timestamp:

2009-02-25T14:21:24+01:00 (16 years ago)

Author:

stoecker

Message:

close #2233 and some minor fixes. patch by xeen

File:

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

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

@@ -107 +107 @@
                     p.put(info.stage, new LinkedList<PluginInformation>());
                 p.get(info.stage).add(info);
-            } else {
+            } else if(early) {
                 JOptionPane.showMessageDialog(Main.parent, tr("Plugin not found: {0}.", pluginName));
             }