Changes between Version 1 and Version 2 of Ticket #15476, comment 11


Ignore:
Timestamp:
2017-11-18T18:41:05+01:00 (8 years ago)
Author:
cmuelle8

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #15476, comment 11

    v1 v2  
    99         prop.put(defaultValue);  // or prop.remove();
    1010}}}
    11 Or should that be left to the user to fix (after all he will note that malformed value will not be in effect).
     11Or should that be left to the user to fix?
     12.. after all he will note that malformed value will not be in effect.
    1213(I have not checked how its done over other parts of josm's code base, hence the question.)