Pavel Sanda wrote: > we dont have any definitive policy about this, some prefs are written > explicitely, some not. my proposal would be to make explicit dump of > only those, which have some probability to chnage its defaults in future > versions... > > i have actually more candidates in 2.0 header newbies for this change, > but firstly i would to hear opinions around.
As said, I do not care very much. Note, though, that such a change would be another file format change in itself. Jürgen