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

[Kim F. Storm]

Richard Stallman <address@hidden> writes:

> If the idea is that mouse highlighting says "the mouse is over a
> sensitive area", which is what it is currently supposed to be, then
> this behavior is correct.
> 
> It is also consistent to say that mouse highlighting says "the mouse
> is over a sensitive area and the last user action was to move the mouse."
> That seems like another useful option.
> 
> 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 just checked in the changes adding the `mouse-highlight' variable.

If its value is t, the first (old) behaviour is used.
If its value is an integer, the second (new) behaviour is used [the default]
If its value is nil, mouse highlight is disabled (replacing the existing
disable_mouse_highlight variable (available in C/gdb only)).

The changes cover the X, w32 and msdos ports.

-- 
Kim F. Storm <address@hidden> http://www.cua.dk