bug#457: wdired and auto-revert-mode

[martin rudalics]

> This seems to indicate that Michael was complaining about the buffer
> getting reverted while he was in the middle of editing file names.
> I'm not sure how this can happen unless something is clearing the
> buffer-modified flag, because auto-revert-handler refuses to do
> anything if the buffer-modified flag is set.

The only way this can happen is after starting `wdired', when a user has
undone his editing steps (`primitive-undo' may clear it), or when a user
explicitly resets it.

> As long as the buffer is marked as modified, it will not be
> auto-reverted.  If it only gets marked unmodified after the user is
> done editing file names, then I don't see what the problem is.

See above.

>>Did you try my `buffer-read-only' patch?
>
> No.

Hmmm ...

>>I use neither `dired' nor `auto-revert-mode'.

... so I'm still looking for someone who does,

martin