Re: Multiple runs of menu-bar-update-hook

[Richard Stallman]

    You can see that both calls have come via redisplay(); the difference is
    their callers.  (Of course both runs of the hook are unnecessary, they have
    been carried out because windows_or_buffers_changed = 1.)  In the first:

Normally, windows_or_buffers_changed gets cleared near the end of
redisplay_internal.  Did the first call to redisplay_internal do that?
If not, why not?

If it did that, where did it get set again
before the second call to redisplay?