Ignore:
Timestamp:
2017-09-23T23:20:03+02:00 (2 years ago)
Author:
bastiK
Message:

see #15229 - move non-essential helper methods from Preferences to PreferencesUtils

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r12873 r12891  
    5454import org.openstreetmap.josm.Main;
    5555import org.openstreetmap.josm.actions.RestartAction;
     56import org.openstreetmap.josm.data.PreferencesUtils;
    5657import org.openstreetmap.josm.data.Version;
    5758import org.openstreetmap.josm.gui.HelpAwareOptionPane;
     
    348349            if (plugins.contains(depr.name)) {
    349350                plugins.remove(depr.name);
    350                 Main.pref.removeFromCollection("plugins", depr.name);
     351                PreferencesUtils.removeFromCollection(Config.getPref(), "plugins", depr.name);
    351352                removedPlugins.add(depr);
    352353            }
     
    402403                    Utils.escapeReservedCharactersHTML(unmaintained));
    403404            if (confirmDisablePlugin(parent, msg, unmaintained)) {
    404                 Main.pref.removeFromCollection("plugins", unmaintained);
     405                PreferencesUtils.removeFromCollection(Config.getPref(), "plugins", unmaintained);
    405406                plugins.remove(unmaintained);
    406407            }
     
    800801        }
    801802        if (msg != null && confirmDisablePlugin(parent, msg, plugin.name)) {
    802             Main.pref.removeFromCollection("plugins", plugin.name);
     803            PreferencesUtils.removeFromCollection(Config.getPref(), "plugins", plugin.name);
    803804        }
    804805    }
Note: See TracChangeset for help on using the changeset viewer.