Proposal: Only highlight mouse-face when mouse is moved

[Kim F. Storm]

I am getting pretty tired of arbitrary text getting highlighted, e.g.
after splitting windows, just because there happens to be some text
with the mouse-face at the place where mouse cursor happens to be.


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.

-- 
Kim F. Storm  http://www.cua.dk