8 maj 2019 kl. 15.28 skrev Eli Zaretskii : >> >>> OK, so how about adding such a variable as part of this improvement? >> >> If it's all the same to you, I'd like to keep it separate. > > I don't understand why: the change as it is looks a bit unclean to me, > whereas the effort to make it cleaner and more future-proof is not a > substantial one. How about dropping the Dired special case for the time being? Then the immediate bug is fixed, and all we need to worry about is the 2.5 second delay to Dired auto-revert updates, which we can fix separately in a manner of our choosing. Simplified patch attached.