[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Proposal: Only highlight mouse-face when mouse is moved
From: |
Kim F. Storm |
Subject: |
Re: Proposal: Only highlight mouse-face when mouse is moved |
Date: |
17 Feb 2002 01:39:07 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2.50 |
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
- Re: Proposal: Only highlight mouse-face when mouse is moved, (continued)
- Re: Proposal: Only highlight mouse-face when mouse is moved, Kim F. Storm, 2002/02/14
- Re: Proposal: Only highlight mouse-face when mouse is moved, Richard Stallman, 2002/02/15
- Re: Proposal: Only highlight mouse-face when mouse is moved, Eli Zaretskii, 2002/02/15
- Re: Proposal: Only highlight mouse-face when mouse is moved, Kim F. Storm, 2002/02/15
- Re: Proposal: Only highlight mouse-face when mouse is moved, Eli Zaretskii, 2002/02/15
- Re: Proposal: Only highlight mouse-face when mouse is moved, Kim F. Storm, 2002/02/15
- Re: Proposal: Only highlight mouse-face when mouse is moved, Eli Zaretskii, 2002/02/16
- Re: Proposal: Only highlight mouse-face when mouse is moved, Richard Stallman, 2002/02/16
- Re: Proposal: Only highlight mouse-face when mouse is moved, Eli Zaretskii, 2002/02/17
- Re: Proposal: Only highlight mouse-face when mouse is moved, Richard Stallman, 2002/02/17
- Re: Proposal: Only highlight mouse-face when mouse is moved,
Kim F. Storm <=
Re: Proposal: Only highlight mouse-face when mouse is moved, Stefan Monnier, 2002/02/14