Changeset 8387 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java
- Timestamp:
- 2015-05-17T17:21:01+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java
r8379 r8387 124 124 */ 125 125 public static void notifyDownloadResults(final Component parent, PluginDownloadTask task, boolean restartRequired) { 126 final Collection<PluginInformation> downloaded = task.getDownloadedPlugins();127 126 final Collection<PluginInformation> failed = task.getFailedPlugins(); 128 127 final StringBuilder sb = new StringBuilder();
Note:
See TracChangeset
for help on using the changeset viewer.