[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: |
Eli Zaretskii |
|
Subject: |
Re: Proposal: Only highlight mouse-face when mouse is moved |
|
Date: |
Wed, 13 Feb 2002 19:18:41 +0200 |
> From: address@hidden (Kim F. Storm)
> Date: 13 Feb 2002 12:15:56 +0100
>
> 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.
- 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,
Eli Zaretskii <=
- 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