Changeset 6656 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2014-01-08T22:50:30+01:00 (10 years ago)

Author:

bastiK

Message:

don't override previous default value with null

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -1039 +1039 @@
             Main.info("Defaults for " + key + " differ: " + def + " != " + defaultsMap.get(key));
         }
-        defaultsMap.put(key, def.copy());
+        if (def.getValue() != null || oldDef == null) {
+            defaultsMap.put(key, def.copy());
+        }
         Setting prop = settingsMap.get(key);
         if (klass.isInstance(prop)) {