[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#20943: 25.0.50; Dired buffers are not always auto-reverted
From: |
Mark Karpov |
Subject: |
bug#20943: 25.0.50; Dired buffers are not always auto-reverted |
Date: |
Fri, 10 Jul 2015 12:20:47 +0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> No one's disputing that. The only issue we need to resolve is how to
> let Dired buffers auto-revert even when the user actually edits the
> directory, without causing unnecessary re-reads of the directory (for
> the sake of remote directories).
Those who need to work with remote directories could disable this
feature (‘auto-revert-mode’ or ‘global-auto-revert-non-file-buffers’).
This feature certainly requires more re-reads by definition.
There will be no “unnecessary” re-reads, however:
* ‘auto-revert-handler’ will re-read directory only if it's stale;
* other editing functions will call ‘auto-revert-handler’ sooner than it
would be normally called, but number of re-reads remains the same
(after call of ‘auto-revert-handler’ buffer will be no longer stale).
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, (continued)
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Michael Albinus, 2015/07/10
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Eli Zaretskii, 2015/07/10
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Michael Albinus, 2015/07/10
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Michael Albinus, 2015/07/16
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Mark Karpov, 2015/07/17
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Michael Albinus, 2015/07/18
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Mark Karpov, 2015/07/18
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Michael Albinus, 2015/07/14
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Mark Karpov, 2015/07/09
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Eli Zaretskii, 2015/07/10
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted,
Mark Karpov <=
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Eli Zaretskii, 2015/07/10
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Mark Karpov, 2015/07/10
- bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Eli Zaretskii, 2015/07/10
bug#20943: 25.0.50; Dired buffers are not always auto-reverted, Mark Karpov, 2015/07/09