[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: |
Sun, 17 Feb 2002 15:50:16 -0700 (MST) |
> That doesn't mean we should add one. Users ask for many features;
> only some are worth implementing.
Except that in this case, you replied by asking whether someone wants
to code it ;-)
That was before we had a feature to have mouse highlighting only after
a mouse motion. In the new context, the need for that other feature
is gone.
- Re: Proposal: Only highlight mouse-face when mouse is moved, (continued)
- 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, 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 <=
- 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