Ignore:
Timestamp:
2017-09-13T23:24:50+02:00 (3 years ago)
Author:
bastiK
Message:

see #15229 - use Config.getPref() wherever possible

Location:
trunk/src/org/openstreetmap/josm/plugins
Files:
2 edited

Legend:

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

    r12841 r12846  
    6767import org.openstreetmap.josm.io.OfflineAccessException;
    6868import org.openstreetmap.josm.io.OnlineResource;
     69import org.openstreetmap.josm.spi.preferences.Config;
    6970import org.openstreetmap.josm.tools.GBC;
    7071import org.openstreetmap.josm.tools.I18n;
     
    422423        String togglePreferenceKey = null;
    423424        int v = Version.getInstance().getVersion();
    424         if (Main.pref.getInt("pluginmanager.version", 0) < v) {
     425        if (Config.getPref().getInt("pluginmanager.version", 0) < v) {
    425426            message =
    426427                "<html>"
     
    434435            long tim = System.currentTimeMillis();
    435436            long last = Main.pref.getLong("pluginmanager.lastupdate", 0);
    436             Integer maxTime = Main.pref.getInt("pluginmanager.time-based-update.interval", DEFAULT_TIME_BASED_UPDATE_INTERVAL);
     437            Integer maxTime = Config.getPref().getInt("pluginmanager.time-based-update.interval", DEFAULT_TIME_BASED_UPDATE_INTERVAL);
    437438            long d = TimeUnit.MILLISECONDS.toDays(tim - last);
    438439            if ((last <= 0) || (maxTime <= 0)) {
    439                 Main.pref.put("pluginmanager.lastupdate", Long.toString(tim));
     440                Config.getPref().put("pluginmanager.lastupdate", Long.toString(tim));
    440441            } else if (d > maxTime) {
    441442                message =
     
    454455        // check whether automatic update at startup was disabled
    455456        //
    456         String policy = Main.pref.get(togglePreferenceKey, "ask").trim().toLowerCase(Locale.ENGLISH);
     457        String policy = Config.getPref().get(togglePreferenceKey, "ask").trim().toLowerCase(Locale.ENGLISH);
    457458        switch(policy) {
    458459        case "never":
     
    508509            switch(ret) {
    509510            case 0:
    510                 Main.pref.put(togglePreferenceKey, "always");
     511                Config.getPref().put(togglePreferenceKey, "always");
    511512                break;
    512513            case JOptionPane.CLOSED_OPTION:
    513514            case 1:
    514                 Main.pref.put(togglePreferenceKey, "never");
     515                Config.getPref().put(togglePreferenceKey, "never");
    515516                break;
    516517            default: // Do nothing
    517518            }
    518519        } else {
    519             Main.pref.put(togglePreferenceKey, "ask");
     520            Config.getPref().put(togglePreferenceKey, "ask");
    520521        }
    521522        return ret == 0;
     
    607608                    if (!task.getDownloadedPlugins().isEmpty()) {
    608609                        // update plugin list in preferences
    609                         Set<String> plugins = new HashSet<>(Main.pref.getList("plugins"));
     610                        Set<String> plugins = new HashSet<>(Config.getPref().getList("plugins"));
    610611                        for (PluginInformation plugin : task.getDownloadedPlugins()) {
    611612                            plugins.add(plugin.name);
    612613                        }
    613                         Main.pref.putList("plugins", new ArrayList<>(plugins));
     614                        Config.getPref().putList("plugins", new ArrayList<>(plugins));
    614615                        // restart
    615616                        try {
     
    969970        try {
    970971            monitor.beginTask(tr("Determining plugins to load..."));
    971             Set<String> plugins = new HashSet<>(Main.pref.getList("plugins", new LinkedList<String>()));
     972            Set<String> plugins = new HashSet<>(Config.getPref().getList("plugins", new LinkedList<String>()));
    972973            Logging.debug("Plugins list initialized to {0}", plugins);
    973974            String systemProp = System.getProperty("josm.plugins");
     
    11571158        if (pluginsWanted == null) {
    11581159            // if all plugins updated, remember the update because it was successful
    1159             Main.pref.putInt("pluginmanager.version", Version.getInstance().getVersion());
    1160             Main.pref.put("pluginmanager.lastupdate", Long.toString(System.currentTimeMillis()));
     1160            Config.getPref().putInt("pluginmanager.version", Version.getInstance().getVersion());
     1161            Config.getPref().put("pluginmanager.lastupdate", Long.toString(System.currentTimeMillis()));
    11611162        }
    11621163        return plugins;
     
    14501451            return null;
    14511452
    1452         Set<String> plugins = new HashSet<>(Main.pref.getList("plugins"));
     1453        Set<String> plugins = new HashSet<>(Config.getPref().getList("plugins"));
    14531454        final PluginInformation pluginInfo = plugin.getPluginInformation();
    14541455        if (!plugins.contains(pluginInfo.name))
     
    14651466            // deactivate the plugin
    14661467            plugins.remove(plugin.getPluginInformation().name);
    1467             Main.pref.putList("plugins", new ArrayList<>(plugins));
     1468            Config.getPref().putList("plugins", new ArrayList<>(plugins));
    14681469            GuiHelper.runInEDTAndWait(() -> JOptionPane.showMessageDialog(
    14691470                    Main.parent,
     
    14841485     */
    14851486    public static Collection<String> getBugReportInformation() {
    1486         final Collection<String> pl = new TreeSet<>(Main.pref.getList("plugins", new LinkedList<>()));
     1487        final Collection<String> pl = new TreeSet<>(Config.getPref().getList("plugins", new LinkedList<>()));
    14871488        for (final PluginProxy pp : pluginList) {
    14881489            PluginInformation pi = pp.getPluginInformation();
     
    15691570
    15701571        public void initDontShowAgain(String preferencesKey) {
    1571             String policy = Main.pref.get(preferencesKey, "ask");
     1572            String policy = Config.getPref().get(preferencesKey, "ask");
    15721573            policy = policy.trim().toLowerCase(Locale.ENGLISH);
    15731574            cbDontShowAgain.setSelected(!"ask".equals(policy));
  • trunk/src/org/openstreetmap/josm/plugins/ReadRemotePluginInformationTask.java

    r12841 r12846  
    3838import org.openstreetmap.josm.gui.widgets.JosmTextArea;
    3939import org.openstreetmap.josm.io.OsmTransferException;
     40import org.openstreetmap.josm.spi.preferences.Config;
    4041import org.openstreetmap.josm.tools.GBC;
    4142import org.openstreetmap.josm.tools.HttpClient;
     
    143144    protected String downloadPluginList(String site, final ProgressMonitor monitor) {
    144145        /* replace %<x> with empty string or x=plugins (separated with comma) */
    145         String pl = Utils.join(",", Main.pref.getList("plugins"));
     146        String pl = Utils.join(",", Config.getPref().getList("plugins"));
    146147        String printsite = site.replaceAll("%<(.*)>", "");
    147148        if (pl != null && !pl.isEmpty()) {
Note: See TracChangeset for help on using the changeset viewer.