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

Timestamp:

2011-02-08T11:59:56+01:00 (13 years ago)

Author:

bastiK

Message:

minor correction

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java

@@ -233 +233 @@
                 knownDefaults.add(def.url);
             }
-            if (Main.pref.putCollection("mappaint.style.known-defaults", knownDefaults)) {
-                changed = true;
-            }
+            Main.pref.putCollection("mappaint.style.known-defaults", knownDefaults);
 
             return changed;