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

[Jason Rumney]

"Eli Zaretskii" <address@hidden> writes:

> > It seems fairly easy to me to keep track of whether the last event
> > was a mouse movement, and only try to display the mouse face in
> > that case.
> 
> Does this mean that if I move the mouse in a way that causes the
> highlight, and then press a key, the highlight will go off?  If so,
> I'm not sure it's a good idea.

I don't think it has to mean that. It need only take effect when
deciding whether to start displaying mouse-highlight, not whether to
continue displaying mouse-highlight that is already displayed.

-- 
Jason Rumney