Changeset 8030 in josm for trunk/src/org/openstreetmap/josm/gui/MainApplication.java

Timestamp:

2015-02-10T10:56:51+01:00 (9 years ago)

Author:

bastiK

Message:

see #11090 - refresh plugin info after download & before loading

File:

• trunk/src/org/openstreetmap/josm/gui/MainApplication.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/MainApplication.java

@@ -413 +413 @@
         });
 
-        Collection<PluginInformation> pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash,monitor.createSubTaskMonitor(1, false));
+        Collection<PluginInformation> pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash, monitor.createSubTaskMonitor(1, false));
         if (!pluginsToLoad.isEmpty() && PluginHandler.checkAndConfirmPluginUpdate(splash)) {
             monitor.subTask(tr("Updating plugins"));