Re: mouse-autoselect-window-select

[martin rudalics]

> If some user finds that auto-selecting a window when the mouse is over
> the display margins is inconvenient for her for some reason, then
> perhaps this feature is not for that user, and we should advise her to
> turn this feature off.  But forcing personal preferences on others on
> these grounds is not right, I think.

It makes me sad to read an insinuation like this from you.  I never use
display margins and always keep personal preferences in my local Emacs.

> If you still don't agree, then I guess we will have to agree to
> disagree.

Although it completely defies my original change I modified the code in
your sense now.  Please have a look.

martin