Re: mouse-autoselect-window and menu bar

[Stefan Monnier]

> It doesn't bother me this much :-), I've been using
> mouse-autoselect-window for a quite a while now and 2 days ago was the
> first time, that I noticed this behavior. But then again I'm hardly using
> the menu bar (and I've never used the tool bar).

That's the problem: with the "select on no-move" or "select after delay",
you'll be making the common case (i.e. move the mouse pointer to select
another window) less reliable.  Your experience sows that this common is
*a lot more* common than the problem you report.  And the problem you report
can already be circumvented by moving your mouse around the upper window.

I think the current tradeoff looks pretty good,


        Stefan