Changeset 1243 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

11.01.2009 13:14:01 (3 years ago)

Author:

stoecker

Message:

restart-warn when changing mappaint colors

File:

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

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

@@ -230 +230 @@
         if(value != null && value.length() == 0)
             value = null;
-        if(!((oldvalue == null && value == null) || (value != null
-        && oldvalue != null && oldvalue.equals(value))))
+        if(!((oldvalue == null && (value == null || value.equals(defaults.get(key))))
+        || (value != null && oldvalue != null && oldvalue.equals(value))))
         {
             if (value == null)
@@ -237 +237 @@
             else
                 properties.put(key, value);
-            String s = defaults.get(key);
             save();
             firePreferenceChanged(key, value);