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


Ignore:
Timestamp:
2012-02-28T16:22:21+01:00 (15 years ago)
Author:
akks

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4421, comment 13

    v2 v3  
    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.
    10 - Deletion by list/map values or pattern cause '''biggest''' "default" problems if some part of default values need to be deleted. Remembering preferences, even patterns "that should be deleted when they appear" is, hmmm... a very strange thing :) Do we really need such deletion?
     10- Deletion by list/map values or pattern cause '''biggest''' "default" problems if some part of default values need to be deleted. Remembering preferences (or even patterns) "that should be deleted when they appear" is, hmmm... a very strange thing :) Do we really need such deletion?
    1111
    1212Did I understand correctly?