Re: mouse-autoselect-window

[Jason Rumney]

> In 10+ years nobody complained.
>   

Not complaining is not the same as wanting it that way.

>> purpose does warping the mouse serve in the non focus-follows-mouse case?
>>     
>
> In the non focus-follows-mouse case warping is not necessary.
> But then it also does not matter where the mouse is.
>   

I propose we change the default value of ediff-grab-mouse from t to the
value of focus-follows-mouse.
Since it can take a value of 'maybe, it cannot simply be made an alias.