Changeset 8018 in josm for trunk


Ignore:
Timestamp:
2015-02-09T09:39:45+01:00 (5 years ago)
Author:
bastiK
Message:

fix compile error from [8017]

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

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java

    r8017 r8018  
    123123     * @since 6797
    124124     */
    125     public void notifyDownloadResults(final Component parent, PluginDownloadTask task) {
     125    public static void notifyDownloadResults(final Component parent, PluginDownloadTask task, boolean restartRequired) {
    126126        final Collection<PluginInformation> downloaded = task.getDownloadedPlugins();
    127127        final Collection<PluginInformation> failed = task.getFailedPlugins();
     
    129129        sb.append("<html>");
    130130        sb.append(buildDownloadSummary(task));
    131         boolean restartRequired = false;
    132         for (PluginInformation pi : downloaded) {
    133             if (!model.getNewlyActivatedPlugins().contains(pi) || !pi.canloadatruntime) {
    134                 restartRequired = true;
    135                 break;
    136             }
    137         }
    138131        if (restartRequired) {
    139132            sb.append(tr("Please restart JOSM to activate the downloaded plugins."));
     
    428421                    if (pluginDownloadTask.isCanceled())
    429422                        return;
    430                     notifyDownloadResults(pnlPluginPreferences, pluginDownloadTask);
     423                    boolean restartRequired = false;
     424                    for (PluginInformation pi : pluginDownloadTask.getDownloadedPlugins()) {
     425                        if (!model.getNewlyActivatedPlugins().contains(pi) || !pi.canloadatruntime) {
     426                            restartRequired = true;
     427                            break;
     428                        }
     429                    }
     430                    notifyDownloadResults(pnlPluginPreferences, pluginDownloadTask, restartRequired);
    431431                    model.refreshLocalPluginVersion(pluginDownloadTask.getDownloadedPlugins());
    432432                    model.clearPendingPlugins(pluginDownloadTask.getDownloadedPlugins());
  • trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java

    r7419 r8018  
    127127                    } else {
    128128                        // Ask for restart to install new plugin
    129                         PluginPreference.notifyDownloadResults(Main.parent, pluginDownloadTask);
     129                        PluginPreference.notifyDownloadResults(
     130                                Main.parent, pluginDownloadTask, !pluginDownloadTask.getDownloadedPlugins().isEmpty());
    130131                    }
    131132                }
Note: See TracChangeset for help on using the changeset viewer.