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

[Mattias Engdegård]

8 maj 2019 kl. 15.28 skrev Eli Zaretskii <eliz@gnu.org>:
>> 
>>> OK, so how about adding such a variable as part of this improvement?
>> 
>> If it's all the same to you, I'd like to keep it separate.
> 
> I don't understand why: the change as it is looks a bit unclean to me,
> whereas the effort to make it cleaner and more future-proof is not a
> substantial one.

How about dropping the Dired special case for the time being? Then the 
immediate bug is fixed, and all we need to worry about is the 2.5 second delay 
to Dired auto-revert updates, which we can fix separately in a manner of our 
choosing.

Simplified patch attached.

0001-Don-t-use-file-notification-on-non-file-buffers.patch
Description: Binary data