Dmitry Gutov <dgutov@yandex.ru> writes:
Karl, do you think this consideration is still important? I don't see a
reasonable way to keep the list easy to merge and still retain the
"most-recently used" information.
You either keep the list unsorted (and continually shuffle the
elements), or store some timestamps, which will also be a source of
merge conflicts.
Hmmm. I see your point, and, of course, there are arguments both ways.
We could supply an user-option to control the behavior, but that still
leaves the question of which default we should choose...
However, I think the answer to that is also clear: unsorted should be
the default (or rather, chronologically sorted should be the default),
and if a user wants the list alphabetized (for merge purposes), they can
configure it so. And this would be documented not only in the new
variable, but also in the doc string of `save-place-limit'.
What do you think?