Re: mouse-autoselect-window and menu bar

[Stefan Monnier]

>> Do you have a suggestion for how to avoid the problem?

> One possibility would be to select a new window after a short
> (customizable) delay.  During that delay, the user could move the
> mouse quickly to the menu bar and click there.

I don't like that very much.  It'll always be too quick for some uses and
too slow for others.  And if the user has to concentrate to "move the mouse
quickly", she may as well move the mouse around the upper window so as not
to trigger mouse-autoselect-window (which is what I do when I'm faced with
this problem).


        Stefan