bug#457: wdired and auto-revert-mode

[Michael Heerdegen]

Joe Wells writes:
 > In this case, (buffer-modified-p) is a poor proxy for $,1r|(Bthere exist
 > uncommitted changes that the user probably does not want to lose$,1r}(B.
 > The buffer-modified flag is mostly good enough for buffers visiting
 > ordinary files, but is hard to keep correct for fancy buffers like
 > Dired buffers.  Of course, this wasn't so important before
 > auto-revert-mode existed.

Yes. And this is also the reason for another, much worse bug which
makes auto-revert-mode in dired nearly useless:

If you copy files etc. (what else should you do with dired?), your
buffer gets buffer-modified-p, which means that auto-reverting doesn't
take place any more until you revert manually with g.