[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: |
Richard Stallman |
Subject: |
Re: Proposal: Only highlight mouse-face when mouse is moved |
Date: |
Fri, 15 Feb 2002 03:36:54 -0700 (MST) |
[switches back to the *scratch* buffer]
[Now, half your screen is highlighted -- because that is where
you "happened to" leave the mouse in the previous buffer you
worked in.]
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.
- Re: Proposal: Only highlight mouse-face when mouse is moved, (continued)
- Re: Proposal: Only highlight mouse-face when mouse is moved, Jason Rumney, 2002/02/13
- Re: Proposal: Only highlight mouse-face when mouse is moved, Kim F. Storm, 2002/02/13
- Re: Proposal: Only highlight mouse-face when mouse is moved, Richard Stallman, 2002/02/14
- 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, Kim F. Storm, 2002/02/15
- 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/14
- Re: Proposal: Only highlight mouse-face when mouse is moved, Jason Rumney, 2002/02/14
Re: Proposal: Only highlight mouse-face when mouse is moved, Richard Stallman, 2002/02/13
- 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 <=
- 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, 2002/02/16
Re: Proposal: Only highlight mouse-face when mouse is moved, Stefan Monnier, 2002/02/14