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 18:19:00 +0100

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?

Bye, 
Tassilo