Changeset 3870 in josm


Ignore:
Timestamp:
2011-02-08T11:59:56+01:00 (14 years ago)
Author:
bastiK
Message:

minor correction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/MapPaintPreference.java

    r3869 r3870  
    233233                knownDefaults.add(def.url);
    234234            }
    235             if (Main.pref.putCollection("mappaint.style.known-defaults", knownDefaults)) {
    236                 changed = true;
    237             }
     235            Main.pref.putCollection("mappaint.style.known-defaults", knownDefaults);
    238236
    239237            return changed;
Note: See TracChangeset for help on using the changeset viewer.