Subject: Re: bug#75626: 31.0.50; Dired misses or double-processes files when auto-revert-mode is enabled

From: Tassilo Horn <[email-masked]>
Date: Sun, 02 Feb 2025 12:14:25 +0100

Michael Albinus <[email-masked]> writes:

> Well, there is the user option auto-revert-avoid-polling.

Ah, I've missed that.

> Per default it is set to nil; meaning that if a buffer misses an
> auto-revert triggered by file notification, the next poll will
> do. This is what we want.
>
> If a user changes this option, it is his/her decision.

Maybe the caveat that notifications might not result in a revert when a
buffer's major mode doesn't allow a revert at that time should be
documented.

Bye,
Tassilo