[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: |
Eli Zaretskii |
Subject: |
bug#35418: [PATCH] Don't poll auto-revert files that use notification |
Date: |
Wed, 08 May 2019 15:35:14 +0300 |
> 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?
- 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, 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, 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 <=
- 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
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/10
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Michael Albinus, 2019/05/12
- bug#35418: [PATCH] Don't poll auto-revert files that use notification, Mattias Engdegård, 2019/05/12