Re: 4 minor suggestions for files.el

[Stefan Monnier]

> > 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.

I strongly disagree.  I went to the trouble of writing the patch
and I almost exclusively use it with VC (though sometimes
also with auto-revert-mode).

Why would it hurt particularly to undo the version-headers-change ?


        Stefan