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

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> Date: Fri, 15 Feb 2002 03:36:54 -0700 (MST)
> 
> One we have this variable, adding an alternative for "no highlighting"
> would be reasonable.  But I suspect that the people who asked for that
> would be happy if highlighting never happens except just after a
> mouse motion.

I suggested a few days ago to add a Lisp binding for the global
variable disable_mouse_highlight, as a means to implement such a
option to turn off any mouse highlight.  I'm willing to code this if
people consider it to be a good idea.