Changeset 9078 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
- Timestamp:
- 2015-12-02T00:05:09+01:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
r8846 r9078 33 33 private final Map<PluginInformation, Boolean> selectedPluginsMap = new HashMap<>(); 34 34 // plugins that still require an update/download 35 private Set<String> pendingDownloads = new HashSet<>(); 35 private final Set<String> pendingDownloads = new HashSet<>(); 36 36 37 37 /**
Note:
See TracChangeset
for help on using the changeset viewer.