Tassilo Horn <tsdh@gnu.org> writes:

Hi Tassilo,

> That's the part I don't understand, yet.  Auto-reverts are skipped by
> auto-revert-handler now for buffers in inhibit-auto-revert-buffers.
> That's what I had expected and did in my previous inhibit-auto-revert
> patch, too.
>
> But my reading of the code is that the polling timer calls
>
>   auto-revert-buffers -> auto-revert-buffer -> auto-revert-handler
>
> where auto-revert-buffer now removes the inhibited buffer from
> auto-revert-buffer-list.  So in addition to skipping it in
> auto-revert-handler this time, the future polling rounds won't see it
> anymore, too, because auto-revert--buffer-candidates uses
> auto-revert--polled-buffers which is basically auto-revert-buffer-list +
> auto-revert-remaining-buffers, at least if global-auto-revert-mode isn't
> used.
>
> So when you say "we disable auto-reverting for a given time" where I
> assume "given time" is not "forever", what am I missing?  If anything, I
> would expect that auto-revert-buffer pushes the inhibited buffer onto
> auto-revert-remaining-buffers to prioritize it for next time.

Below is an updated patch for autorevert.el. I control this now via
auto-revert-active-p; no further need to check in auto-revert-buffer.

Could you, pls, test?

> Bye,
> Tassilo

Best regards, Michael.