Changeset 12841 in josm for trunk/src/org/openstreetmap/josm/gui/io/CustomConfigurator.java

Timestamp:

2017-09-13T16:30:27+02:00 (7 years ago)

Author:

bastiK

Message:

see #15229 - fix deprecations caused by [12840]

File:

• trunk/src/org/openstreetmap/josm/gui/io/CustomConfigurator.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/io/CustomConfigurator.java

@@ -400 +400 @@
                         MainApplication.worker.submit(pluginDownloadTask);
                     }
-                    Collection<String> pls = new ArrayList<>(Main.pref.getCollection("plugins"));
+                    List<String> pls = new ArrayList<>(Main.pref.getList("plugins"));
                     for (PluginInformation pi2: toInstallPlugins) {
                         if (!pls.contains(pi2.name)) {
@@ -413 +413 @@
                         new File(Main.pref.getPluginsDirectory(), pi4.name+".jar").deleteOnExit();
                     }
-                    Main.pref.putCollection("plugins", pls);
+                    Main.pref.putList("plugins", pls);
                 });
             }