Re: mouse-autoselect-window with menu pane

[martin rudalics]

>     `timer-max-repeats' is the "maximum number of times to repeat a timer,
>     if real time jumps".  Hence, there is an upper bound on the number of
>     times such timer run.
>
> The doc string says this applies when real time "jumps", such as when

Currently, just a comment in `timer-event-handler' says this.  I would
have appreciated to read this in a doc-string with an explanation of
what "real time jumps" means and how often the timer repeats.

> Emacs was suspended.  Looking at the code, I think that
> `timer-max-repeats' applies equally when Emacs failed to run the timer
> because it was busy.  Could someone verify that is true?

I verfied this with some trivial code that increments a counter.
AFAICT, the timer always repeats eight times.