Re: 4 minor suggestions for files.el

[Stefan Monnier]

> > Why would it hurt particularly to undo the version-headers-change ?
> 
> With RCS, for example, VC uses the version header to determine the file
> version and file state, as displayed in the mode line.  If you undo the
> version header change, save and revisit, VC will show a wrong version,
> and it might think that the file is locked when in fact it isn't, etc.

BTW.  It seems this problem is not specific to revert-buffer and undo.
Shouldn't we mark the $Id$ version header read-only ?


        Stefan