[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 <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.
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, (continued)
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/04
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Eli Zaretskii, 2019/05/04
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/04
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/04
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/04
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/04
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/05
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/05
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Eli Zaretskii, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification,
Mattias Engdegård <=
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Eli Zaretskii, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Eli Zaretskii, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Eli Zaretskii, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Eli Zaretskii, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/08
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/09