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

From: Michael Heerdegen <[email-masked]>
Date: Mon, 20 Jan 2025 14:58:58 +0100

Eli Zaretskii <[email-masked]> writes:

> > > Introducing `dired--map-over-marks-in-progress' sounds cleaner to me
> > > than that.
> >
> > But it probably needs to be buffer local [...]
>
> Yes, of course.

Then, finally, I would name it `dired--prevent-auto-revert' because this
might be useful in other places as well.

Michael.