Changeset 12846 in josm for trunk/src/org/openstreetmap/josm/data/preferences/sources/MapPaintPrefHelper.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/data/preferences/sources/MapPaintPrefHelper.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/data/preferences/sources/MapPaintPrefHelper.java

@@ -13 +13 @@
 import java.util.TreeSet;
 
-import org.openstreetmap.josm.Main;
+import org.openstreetmap.josm.spi.preferences.Config;
 import org.openstreetmap.josm.tools.Utils;
 
@@ -53 +53 @@
         boolean changed = false;
 
-        Collection<String> knownDefaults = new TreeSet<>(Main.pref.getList("mappaint.style.known-defaults"));
+        Collection<String> knownDefaults = new TreeSet<>(Config.getPref().getList("mappaint.style.known-defaults"));
 
         Collection<ExtendedSourceEntry> defaults = getDefault();
@@ -71 +71 @@
             knownDefaults.add(def.url);
         }
-        Main.pref.putList("mappaint.style.known-defaults", new ArrayList<>(knownDefaults));
+        Config.getPref().putList("mappaint.style.known-defaults", new ArrayList<>(knownDefaults));
 
         // XML style is not bundled anymore