Changeset 4554 in josm
- Timestamp:
- 2011-11-02T08:07:21+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r4553 r4554 75 75 protected final SortedMap<String, String> colornames = new TreeMap<String, String>(); 76 76 77 /* NOTE: FIXME: Remove when saving XML enabled */ 78 private boolean loadedXML = false; 79 77 80 public interface PreferenceChangeEvent{ 78 81 String getKey(); … … 385 388 final PrintWriter out = new PrintWriter(new OutputStreamWriter( 386 389 new FileOutputStream(prefFile + "_tmp"), "utf-8"), false); 387 out.print(toXML(false)); 390 /* FIXME: NOTE: loadedXML - removed 01.12.2011 */ 391 if(loadedXML) { 392 out.print(toXML(false)); 393 } else { 394 for (final Entry<String, String> e : properties.entrySet()) { 395 String s = defaults.get(e.getKey()); 396 /* don't save default values */ 397 if(s == null || !s.equals(e.getValue())) { 398 out.println(e.getKey() + "=" + e.getValue()); 399 } 400 } 401 } 388 402 out.close(); 389 403 … … 443 457 if(v == '<') { 444 458 fromXML(in); 459 loadedXML = true; 445 460 } else { 446 461 int lineNumber = 0;
Note:
See TracChangeset
for help on using the changeset viewer.