Did
Yup. So people upgrading will believe they lost their options
setting. Not much better :-( If we don't find a better solution, this should
at least be documented in the NEWS file.
Of course it should be documented in the NEWS file. In fact it would
be nice to have some "help with migrating" buffer pop up the first
time after a major upgrade.
I just think that thse kinds of things are better to do with the user
being consious about it in stead of trying to hide everything.
Wrong. The options menu saving button calls
customize-save-customized. If you load the options from the old file, the
options will actually be changed outside Custom, and thus the save button will
not save them.
Then we need a "Customize-save-all-non-defaults" to be called on the
"options" group. Then we can put something like that in a migratete.el
Jan