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: Mon, 20 Jan 2025 15:04:21 +0100

Michael Heerdegen <[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.

Sounds good.  I'll make that change, maybe later or tomorrow.

Thanks,
Tassilo