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

Timestamp:

2017-09-13T23:24:50+02:00 (7 years ago)

Author:

bastiK

Message:

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

File:

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

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

@@ -50 +50 @@
 import org.openstreetmap.josm.plugins.PluginInformation;
 import org.openstreetmap.josm.plugins.ReadLocalPluginInformationTask;
+import org.openstreetmap.josm.spi.preferences.Config;
 import org.openstreetmap.josm.tools.LanguageInfo;
 import org.openstreetmap.josm.tools.Logging;
@@ -400 +401 @@
                         MainApplication.worker.submit(pluginDownloadTask);
                     }
-                    List<String> pls = new ArrayList<>(Main.pref.getList("plugins"));
+                    List<String> pls = new ArrayList<>(Config.getPref().getList("plugins"));
                     for (PluginInformation pi2: toInstallPlugins) {
                         if (!pls.contains(pi2.name)) {
@@ -413 +414 @@
                         new File(Main.pref.getPluginsDirectory(), pi4.name+".jar").deleteOnExit();
                     }
-                    Main.pref.putList("plugins", pls);
+                    Config.getPref().putList("plugins", pls);
                 });
             }