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

Timestamp:

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

Author:

bastiK

Message:

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

Location:

trunk/src/org/openstreetmap/josm/plugins

Files:

• PluginHandler.java (modified) (2 diffs)
• ReadLocalPluginInformationTask.java (modified) (1 diff)

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

@@ -896 +896 @@
             //
             ReadRemotePluginInformationTask task1 = new ReadRemotePluginInformationTask(
-                    monitor.createSubTaskMonitor(1,false),
+                    monitor.createSubTaskMonitor(1, false),
                     Main.pref.getPluginSites(), displayErrMsg
             );
@@ -905 +905 @@
                 future.get();
                 allPlugins = task1.getAvailablePlugins();
-                plugins = buildListOfPluginsToLoad(parent,monitor.createSubTaskMonitor(1, false));
+                plugins = buildListOfPluginsToLoad(parent, monitor.createSubTaskMonitor(1, false));
                 // If only some plugins have to be updated, filter the list
                 if (pluginsWanted != null && !pluginsWanted.isEmpty()) {

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

@@ -18 +18 @@
 import org.openstreetmap.josm.gui.progress.ProgressMonitor;
 import org.openstreetmap.josm.io.OsmTransferException;
-import org.openstreetmap.josm.tools.ImageProvider;
 import org.xml.sax.SAXException;