Re: Reverting but keeping undo

[Dmitry Gutov]

Drew Adams <drew.adams@oracle.com> writes:
>> > `revert-buffer' discards undo history.
>> 
>> FWIW, I just installed a patch in Emacs's trunk which makes that
>> revert-buffer doesn't discard undo history any more.
>
> Hm. So `revert-buffer' no longer removes undo? That has always been a
> part of what reverting means. And it is clearly intended in the code,
> not just an unfortunate accident or oversight.

I think it's a great change.

> And why no discussion beforehand? I can't think of a great reason why
> undo should *always* be removed as part of reverting (as it always has
> been). But just maybe there is a good reason for doing that, at least
> some or even most of the time. Why not give Richard et al the benefit
> of the doubt (30 years of "classic" reverting) and make undo removal
> optional, at least for a while? (Or is doubt a no-no?)

Are you, personally, asking for it to be customizable? What's your use
case for throwing away the undo list?