Stefan == Stefan Monnier [EMAIL PROTECTED] writes:
Stefan
Stefan Do you have a suggestion for how to avoid the problem?
I think either the window selection should happen once the mouse isn't moved
anymore (like Kim suggested, that'd be my choice) or after a short
(customizable) time
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