Re: Proposal: Only highlight mouse-face when mouse is moved

[Eli Zaretskii]

> From: address@hidden (Kim F. Storm)
> Date: 15 Feb 2002 23:27:07 +0100
> 
> Here is a complete patch (except for NEWS and ChangeLog) which also
> (attempts to) work for the w32 and msdos ports -- neither of which I
> can test myself.

Thanks.  The MS-DOS port seems to work fine, although I cannot say I
like this new behavior much more than the old one.  (Note that the
MS-DOS port cannot change the shape of the mouse pointer.)