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

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

File:
1 edited

Legend:

Unmodified
Added
Removed

  • 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                }
Note: See TracChangeset for help on using the changeset viewer.