Re: mouse-autoselect-window with menu pane

[martin rudalics]

> Increment of the counter is suspended during the file dialog/menu
> operation.  And after the operation, the timer fires multiple times
> continuously until the counter catches up the value that it would be
> if no file dialog/menu were activated.

Weird.  Suppose `mouse-autoselect-window-select' cancels the timer after
it fired the nth time, for some n > 2.  There's no reason why the timer
was not cancelled when it fired the (n - 1)th time.  What's even more
troubling: There's no reason why the timer shouldn't fire a (n + 1)th
time.

Moreover, this would mean that

"Repeat the action every repeat seconds, if repeat is non-nil."

from the `run-at-time' doc-string doesn't hold in the sense that a timer
may use shorter intervals than requested by the REPEAT argument.