Changeset 1224 in josm

Timestamp:

2009-01-09T20:58:25+01:00 (15 years ago)

Author:

stoecker

Message:

fixed some prefs bugs of last version

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (2 diffs)

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

@@ -187 +187 @@
         final TreeMap<String,String> all = new TreeMap<String,String>();
         for (final Entry<String,String> e : defaults.entrySet())
-            if (e.getKey().startsWith("color."))
+            if (e.getKey().startsWith("color.") && e.getValue() != null)
                 all.put(e.getKey().substring(6), e.getValue());
         for (final Entry<String,String> e : properties.entrySet())
@@ -238 +238 @@
                 properties.put(key, value);
             String s = defaults.get(key);
-            if(s == null || !s.equals(value))
-                save();
+            save();
             firePreferenceChanged(key, value);
             return true;