Re: 4 minor suggestions for files.el

[Andre Spiegel]

On Fri, 2003-04-18 at 13:28, Richard Stallman wrote:

> I think I understand now--it treats the insert-file operation as an
> ordinary undoable buffer change.
> 
> Spiegel, is that really the right thing to do in VC?

VC does a revert-buffer after each version control operation, so that
changes in version headers are picked up.

If I understand correctly, the revert-buffer would be undoable.

This may be confusing because the actual version control operation would
not be undone.  After undoing the revert-buffer, the version headers
would no longer correspond to the version control state of the file.

If the feature is perceived generally useful, I think VC ought to clear
the undo list by itself in each version control operation.