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

[Eli Zaretskii]

> From: Mattias Engdegård <mattiase@acm.org>
> Date: Wed, 8 May 2019 13:48:51 +0200
> Cc: Michael Albinus <michael.albinus@gmx.de>, 35418@debbugs.gnu.org
> 
> the patch is a strict improvement on the code in master.

I have no doubt it is.

> An example of a generalisation: We could add a buffer-specific variable that 
> tells autorevert that yes, this buffer can rely on directory notifications 
> despite not having a buffer-file-name. All modes to which this applies would 
> need to set that variable.
> 
> I don't think there is a passive condition, and furthermore, because of the 
> nature of directory notifications, any mode that qualifies is likely to be 
> some kind of variation on Dired: a buffer whose contents is determined by the 
> set of files in its default-directory, but not their data.

OK, so how about adding such a variable as part of this improvement?

Or maybe it's better to have a special property on the mode's symbol?