Ignore:
Timestamp:
2017-09-13T16:30:27+02:00 (7 years ago)
Author:
bastiK
Message:

see #15229 - fix deprecations caused by [12840]

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r12639 r12841  
    422422        String togglePreferenceKey = null;
    423423        int v = Version.getInstance().getVersion();
    424         if (Main.pref.getInteger("pluginmanager.version", 0) < v) {
     424        if (Main.pref.getInt("pluginmanager.version", 0) < v) {
    425425            message =
    426426                "<html>"
    … …  
    434434            long tim = System.currentTimeMillis();
    435435            long last = Main.pref.getLong("pluginmanager.lastupdate", 0);
    436             Integer maxTime = Main.pref.getInteger("pluginmanager.time-based-update.interval", DEFAULT_TIME_BASED_UPDATE_INTERVAL);
     436            Integer maxTime = Main.pref.getInt("pluginmanager.time-based-update.interval", DEFAULT_TIME_BASED_UPDATE_INTERVAL);
    437437            long d = TimeUnit.MILLISECONDS.toDays(tim - last);
    438438            if ((last <= 0) || (maxTime <= 0)) {
    … …  
    607607                    if (!task.getDownloadedPlugins().isEmpty()) {
    608608                        // update plugin list in preferences
    609                         Set<String> plugins = new HashSet<>(Main.pref.getCollection("plugins"));
     609                        Set<String> plugins = new HashSet<>(Main.pref.getList("plugins"));
    610610                        for (PluginInformation plugin : task.getDownloadedPlugins()) {
    611611                            plugins.add(plugin.name);
    612612                        }
    613                         Main.pref.putCollection("plugins", plugins);
     613                        Main.pref.putList("plugins", new ArrayList<>(plugins));
    614614                        // restart
    615615                        try {
    … …  
    969969        try {
    970970            monitor.beginTask(tr("Determining plugins to load..."));
    971             Set<String> plugins = new HashSet<>(Main.pref.getCollection("plugins", new LinkedList<String>()));
     971            Set<String> plugins = new HashSet<>(Main.pref.getList("plugins", new LinkedList<String>()));
    972972            Logging.debug("Plugins list initialized to {0}", plugins);
    973973            String systemProp = System.getProperty("josm.plugins");
    … …  
    11571157        if (pluginsWanted == null) {
    11581158            // if all plugins updated, remember the update because it was successful
    1159             Main.pref.putInteger("pluginmanager.version", Version.getInstance().getVersion());
     1159            Main.pref.putInt("pluginmanager.version", Version.getInstance().getVersion());
    11601160            Main.pref.put("pluginmanager.lastupdate", Long.toString(System.currentTimeMillis()));
    11611161        }
    … …  
    14501450            return null;
    14511451
    1452         Set<String> plugins = new HashSet<>(
    1453                 Main.pref.getCollection("plugins", Collections.<String>emptySet())
    1454         );
     1452        Set<String> plugins = new HashSet<>(Main.pref.getList("plugins"));
    14551453        final PluginInformation pluginInfo = plugin.getPluginInformation();
    14561454        if (!plugins.contains(pluginInfo.name))
    … …  
    14671465            // deactivate the plugin
    14681466            plugins.remove(plugin.getPluginInformation().name);
    1469             Main.pref.putCollection("plugins", plugins);
     1467            Main.pref.putList("plugins", new ArrayList<>(plugins));
    14701468            GuiHelper.runInEDTAndWait(() -> JOptionPane.showMessageDialog(
    14711469                    Main.parent,
    … …  
    14861484     */
    14871485    public static Collection<String> getBugReportInformation() {
    1488         final Collection<String> pl = new TreeSet<>(Main.pref.getCollection("plugins", new LinkedList<>()));
     1486        final Collection<String> pl = new TreeSet<>(Main.pref.getList("plugins", new LinkedList<>()));
    14891487        for (final PluginProxy pp : pluginList) {
    14901488            PluginInformation pi = pp.getPluginInformation();
Note: See TracChangeset for help on using the changeset viewer.