[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Reverting but keeping undo
From: |
Dmitry Gutov |
Subject: |
Re: Reverting but keeping undo |
Date: |
Wed, 29 May 2013 07:27:05 +0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (windows-nt) |
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?
- Reverting but keeping undo, Óscar Fuentes, 2013/05/15
- Re: Reverting but keeping undo, W. Greenhouse, 2013/05/16
- Re: Reverting but keeping undo, Stefan Monnier, 2013/05/28
- RE: Reverting but keeping undo, Drew Adams, 2013/05/28
- Re: Reverting but keeping undo,
Dmitry Gutov <=
- RE: Reverting but keeping undo, Drew Adams, 2013/05/29
- Re: Reverting but keeping undo, Dmitry Gutov, 2013/05/29
- RE: Reverting but keeping undo, Drew Adams, 2013/05/29
- Re: Reverting but keeping undo, Dmitry Gutov, 2013/05/29
- RE: Reverting but keeping undo, Drew Adams, 2013/05/29
- Re: Reverting but keeping undo, Dmitry Gutov, 2013/05/29
- Message not available
- Re: Reverting but keeping undo, Dan Espen, 2013/05/29
- Re: Reverting but keeping undo, Stefan Monnier, 2013/05/29
- Message not available
- Re: Reverting but keeping undo, Dan Espen, 2013/05/29
- RE: Reverting but keeping undo, Drew Adams, 2013/05/29