bug#35418: [PATCH] Don't poll auto-revert files that use notification

[Mattias Engdegård]

8 maj 2019 kl. 10.47 skrev Eli Zaretskii <eliz@gnu.org>:

> Is Dired the only exception from the rule?  Or is there a more general
> indication that a non-file buffer may want to be automatically
> reverted?  E.g., what about Info buffers? revert-buffer does work
> there.

It's not about whether revert-buffer works, but whether notification on 
default-directory is a reliable replacement for polling.

Info actually isn't a good example, since it doesn't even work with polling: it 
has no special `buffer-stale-function', and therefore isn't able to tell when 
the buffer is out of date. Furthermore, notification on a directory may not 
indicate changes to any of the files in it and thus wouldn't be reliable anyway.

With the patch, auto-revert on non-file buffers will work where at all 
possible; it just won't use notification for buffers other than Dired.