Changeset 8030 in josm for trunk/src/org


Ignore:
Timestamp:
2015-02-10T10:56:51+01:00 (9 years ago)
Author:
bastiK
Message:

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

Location:
trunk/src/org/openstreetmap/josm
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/MainApplication.java

    r8017 r8030  
    413413        });
    414414
    415         Collection<PluginInformation> pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash,monitor.createSubTaskMonitor(1, false));
     415        Collection<PluginInformation> pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash, monitor.createSubTaskMonitor(1, false));
    416416        if (!pluginsToLoad.isEmpty() && PluginHandler.checkAndConfirmPluginUpdate(splash)) {
    417417            monitor.subTask(tr("Updating plugins"));
  • trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

    r8024 r8030  
    333333                sb.append("<html>");
    334334                if (task != null && !task.isCanceled()) {
     335                    PluginHandler.refreshLocalUpdatedPluginInfo(task.getDownloadedPlugins());
    335336                    sb.append(PluginPreference.buildDownloadSummary(task));
    336337                }
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r8024 r8030  
    896896            //
    897897            ReadRemotePluginInformationTask task1 = new ReadRemotePluginInformationTask(
    898                     monitor.createSubTaskMonitor(1,false),
     898                    monitor.createSubTaskMonitor(1, false),
    899899                    Main.pref.getPluginSites(), displayErrMsg
    900900            );
     
    905905                future.get();
    906906                allPlugins = task1.getAvailablePlugins();
    907                 plugins = buildListOfPluginsToLoad(parent,monitor.createSubTaskMonitor(1, false));
     907                plugins = buildListOfPluginsToLoad(parent, monitor.createSubTaskMonitor(1, false));
    908908                // If only some plugins have to be updated, filter the list
    909909                if (pluginsWanted != null && !pluginsWanted.isEmpty()) {
  • trunk/src/org/openstreetmap/josm/plugins/ReadLocalPluginInformationTask.java

    r7655 r8030  
    1818import org.openstreetmap.josm.gui.progress.ProgressMonitor;
    1919import org.openstreetmap.josm.io.OsmTransferException;
    20 import org.openstreetmap.josm.tools.ImageProvider;
    2120import org.xml.sax.SAXException;
    2221
Note: See TracChangeset for help on using the changeset viewer.