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

[Eli Zaretskii]

> From: address@hidden (Kim F. Storm)
> Date: 15 Feb 2002 14:23:02 +0100
> 
> So IMHO it could just replace the current behaviour, and I really
> don't think there is a need for an option to bring back the old
> behaviour (nor to disable mouse highlight all together).

Someone explicitly asked for a total disable option, either here or
on gnu.emacs.bug.

> Have any of you actually tried the patch I posted yesterday?

I cannot try it because you only posted a patch that's specific to X,
and I don't have an X installation here.