Changeset 12894 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2017-09-24T11:11:20+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r12891 r12894 349 349 if (plugins.contains(depr.name)) { 350 350 plugins.remove(depr.name); 351 PreferencesUtils.removeFrom Collection(Config.getPref(), "plugins", depr.name);351 PreferencesUtils.removeFromList(Config.getPref(), "plugins", depr.name); 352 352 removedPlugins.add(depr); 353 353 } … … 403 403 Utils.escapeReservedCharactersHTML(unmaintained)); 404 404 if (confirmDisablePlugin(parent, msg, unmaintained)) { 405 PreferencesUtils.removeFrom Collection(Config.getPref(), "plugins", unmaintained);405 PreferencesUtils.removeFromList(Config.getPref(), "plugins", unmaintained); 406 406 plugins.remove(unmaintained); 407 407 } … … 801 801 } 802 802 if (msg != null && confirmDisablePlugin(parent, msg, plugin.name)) { 803 PreferencesUtils.removeFrom Collection(Config.getPref(), "plugins", plugin.name);803 PreferencesUtils.removeFromList(Config.getPref(), "plugins", plugin.name); 804 804 } 805 805 }
Note:
See TracChangeset
for help on using the changeset viewer.