Changeset 12891 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2017-09-23T23:20:03+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r12873 r12891 54 54 import org.openstreetmap.josm.Main; 55 55 import org.openstreetmap.josm.actions.RestartAction; 56 import org.openstreetmap.josm.data.PreferencesUtils; 56 57 import org.openstreetmap.josm.data.Version; 57 58 import org.openstreetmap.josm.gui.HelpAwareOptionPane; … … 348 349 if (plugins.contains(depr.name)) { 349 350 plugins.remove(depr.name); 350 Main.pref.removeFromCollection("plugins", depr.name);351 PreferencesUtils.removeFromCollection(Config.getPref(), "plugins", depr.name); 351 352 removedPlugins.add(depr); 352 353 } … … 402 403 Utils.escapeReservedCharactersHTML(unmaintained)); 403 404 if (confirmDisablePlugin(parent, msg, unmaintained)) { 404 Main.pref.removeFromCollection("plugins", unmaintained);405 PreferencesUtils.removeFromCollection(Config.getPref(), "plugins", unmaintained); 405 406 plugins.remove(unmaintained); 406 407 } … … 800 801 } 801 802 if (msg != null && confirmDisablePlugin(parent, msg, plugin.name)) { 802 Main.pref.removeFromCollection("plugins", plugin.name);803 PreferencesUtils.removeFromCollection(Config.getPref(), "plugins", plugin.name); 803 804 } 804 805 }
Note:
See TracChangeset
for help on using the changeset viewer.