Re: avoiding revert-buffer after vc-checkin

[David Kastrup]

Stefan Monnier <address@hidden> writes:

>> After a vc-checkin the corresponding buffer is reverted, which is not
>> so convenient because the undo information is lost. 
>
> Indeed.  My own take on this problem is to change revert-buffer so that it
> doesn't throw away the undo info.

Revert-buffer throws away the undo info because usually after
revert-buffer the undo-info is useless.

> I understand that some people find this idea completely
> unacceptable, so maybe a good compromise is to just provide a way to
> tell revert-buffer not to throw away the undo info, and then use it
> in vc.el.

And how will you cater for CVS having replaced $Id: ...$ strings and
similar?  How do you know which offsets to apply to the undo info in
order to compensate for that?

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum