[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Mattias Engdegård
Subject: bug#35418: [PATCH] Don't poll auto-revert files that use notification
Date: Wed, 8 May 2019 12:18:30 +0200

8 maj 2019 kl. 10.47 skrev Eli Zaretskii <address@hidden>:

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]