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 21:07:39 +0200

> Date: Mon, 20 Jan 2025 18:19:00 +0100
> From: "Tassilo Horn" <[email-masked]>
> Cc: [email-masked]
> 
> 
> 
> Am Mo, 20. Jan 2025, um 18:08, schrieb Eli Zaretskii:
> >> 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.
> 
> Sorry, I can't follow. Why should a variable named dired-* be used outside of dired?

Not outside of dired, outside of dired.el.  There are two other
dired-*.el files which might want to do that for some reason.

Anyway, that other places could want to use this was not my
suggestion, it was yours, AFAIR.