Changes between Version 1 and Version 2 of Ticket #4421, comment 13


Ignore:
Timestamp:
2012-02-28T16:20:34+01:00 (14 years ago)
Author:
akks

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4421, comment 13

    v1 v2  
    55- If we want to '''append''' additional maps to the default, we must take this default value into account. If it is in defaults, collectionDefaults, etc. (not null), we can use it. If there is null there - we have a problem :)
    66- There is no "default" problem for '''replace''' and for single value properties.
    7 - One possible solution is to make user call needed function and then repeat the attempt.
     7- One possible solution is to ask user call needed function and then repeat the attempt.
    88- Another solution is to remember "maps = [possibly unknown default] + [specified maps]" in preferences XML, so user will get correct preferences after restart. Flag should be added (and stored in XML) and all preferences retrieving function need to be modified in Preferences.java.
    99- Deletion by key does not have "default" problem - default value will be used for deleted key after restart.