Changeset 8338 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin
- Timestamp:
- 2015-05-07T01:27:41+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java
r8018 r8338 286 286 pnlPluginUpdatePolicy.rememberInPreferences(); 287 287 if (model.isActivePluginsChanged()) { 288 Li nkedList<String> l = new LinkedList<>(model.getSelectedPluginNames());288 List<String> l = new LinkedList<>(model.getSelectedPluginNames()); 289 289 Collections.sort(l); 290 290 Main.pref.putCollection("plugins", l);
Note:
See TracChangeset
for help on using the changeset viewer.