Index: trunk/src/org/openstreetmap/josm/gui/MainApplication.java =================================================================== --- trunk/src/org/openstreetmap/josm/gui/MainApplication.java (revision 8029) +++ trunk/src/org/openstreetmap/josm/gui/MainApplication.java (revision 8030) @@ -413,5 +413,5 @@ }); - Collection pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash,monitor.createSubTaskMonitor(1, false)); + Collection pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash, monitor.createSubTaskMonitor(1, false)); if (!pluginsToLoad.isEmpty() && PluginHandler.checkAndConfirmPluginUpdate(splash)) { monitor.subTask(tr("Updating plugins")); Index: trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java =================================================================== --- trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (revision 8029) +++ trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (revision 8030) @@ -333,4 +333,5 @@ sb.append(""); if (task != null && !task.isCanceled()) { + PluginHandler.refreshLocalUpdatedPluginInfo(task.getDownloadedPlugins()); sb.append(PluginPreference.buildDownloadSummary(task)); } Index: trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java =================================================================== --- trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (revision 8029) +++ trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (revision 8030) @@ -896,5 +896,5 @@ // ReadRemotePluginInformationTask task1 = new ReadRemotePluginInformationTask( - monitor.createSubTaskMonitor(1,false), + monitor.createSubTaskMonitor(1, false), Main.pref.getPluginSites(), displayErrMsg ); @@ -905,5 +905,5 @@ 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()) { Index: trunk/src/org/openstreetmap/josm/plugins/ReadLocalPluginInformationTask.java =================================================================== --- trunk/src/org/openstreetmap/josm/plugins/ReadLocalPluginInformationTask.java (revision 8029) +++ trunk/src/org/openstreetmap/josm/plugins/ReadLocalPluginInformationTask.java (revision 8030) @@ -18,5 +18,4 @@ import org.openstreetmap.josm.gui.progress.ProgressMonitor; import org.openstreetmap.josm.io.OsmTransferException; -import org.openstreetmap.josm.tools.ImageProvider; import org.xml.sax.SAXException;