Re: Don't complain about changed file when it hasn't changed

[Stefan Monnier]

>> You just remember the file's size as well as its modtime when visiting
>> it -- don't compare to the buffer's size at all.  (I thought I had
>> mentioned this earlier in the thread...)
> Oh -- remember the "true" size (that is, the
> unencrypted/uncompressed/unwhatevered) size of the file at the moment when
> it is first visited?

Yes, that's what my FIXME comment was referring to.

Comparing the buffer's size and the file's size would miss too many case
and would be too brittle for my taste (there are many different ways to
modify the data on the way between the file and the buffer).

> As long as we're doing that, why not just remember the md5sum of the
> original content too?

Cause it'd slow down a common case, compared to this
ask-user-about-supersession-threat which is used very rarely?


        Stefan