Changeset 6656 in josm for trunk/src/org
- Timestamp:
- 2014-01-08T22:50:30+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r6643 r6656 1039 1039 Main.info("Defaults for " + key + " differ: " + def + " != " + defaultsMap.get(key)); 1040 1040 } 1041 defaultsMap.put(key, def.copy()); 1041 if (def.getValue() != null || oldDef == null) { 1042 defaultsMap.put(key, def.copy()); 1043 } 1042 1044 Setting prop = settingsMap.get(key); 1043 1045 if (klass.isInstance(prop)) {
Note:
See TracChangeset
for help on using the changeset viewer.