Changeset 8377 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
- Timestamp:
- 2015-05-17T04:02:42+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
r8017 r8377 84 84 if (selectedPluginsMap.get(pi) == null) { 85 85 if (activePlugins.contains(pi.name)) { 86 selectedPluginsMap.put(pi, true);86 selectedPluginsMap.put(pi, Boolean.TRUE); 87 87 } 88 88 }
Note:
See TracChangeset
for help on using the changeset viewer.