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

From: Eli Zaretskii <[email-masked]>
Date: Mon, 20 Jan 2025 19:08:44 +0200

> Cc: [email-masked], [email-masked]
> Date: Mon, 20 Jan 2025 18:49:23 +0200
> From: Eli Zaretskii <[email-masked]>
> 
> > From: Michael Heerdegen <[email-masked]>
> > Cc: [email-masked],  [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.
> 
> Let's use dired--inhibit-auto-revert instead.

And, btw, if we want this to be useful outside of Dired, we need to
make this variable public, not internal.  That is, call it
dired-inhibit-auto-revert.