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

trunk/src/org/openstreetmap/josm/data/preferences/CachedProperty.java

@@ -2 +2 @@
 package org.openstreetmap.josm.data.preferences;
 
-import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.data.Preferences.PreferenceChangeEvent;
 import org.openstreetmap.josm.data.Preferences.PreferenceChangedListener;
+import org.openstreetmap.josm.spi.preferences.Config;
 
 /**
@@ -21 +21 @@
     protected CachedProperty(String key, String defaultValueAsString) {
         super(key, null);
-        Main.pref.addKeyPreferenceChangeListener(key, this);
+        Config.getPref().addKeyPreferenceChangeListener(key, this);
         this.defaultValueAsString = defaultValueAsString;
         updateValue();
@@ -27 +27 @@
 
     protected final void updateValue() {
-        if (!Main.pref.get(key).isEmpty()) {
-            this.value = fromString(Main.pref.get(key));
+        if (!Config.getPref().get(key).isEmpty()) {
+            this.value = fromString(Config.getPref().get(key));
         } else {
             this.value = getDefaultValue();
@@ -43 +43 @@
 
     public void put(String value) {
-        Main.pref.put(key, value);
+        Config.getPref().put(key, value);
         this.value = fromString(value);
         updateCount++;