[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: |
Sun, 17 Feb 2002 10:56:43 +0200 (IST) |
On Sat, 16 Feb 2002, Richard Stallman wrote:
> > So IMHO it could just replace the current behaviour, and I really
> > don't think there is a need for an option to bring back the old
> > behaviour (nor to disable mouse highlight all together).
>
> Someone explicitly asked for a total disable option, either here or
> on gnu.emacs.bug.
>
> 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 ;-)
> Besides, the feature being added now does almost the same job.
> People who want to turn off mouse highlighting will probably be
> happy using that instead.
I'm not sure, but the future will tell.
- 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 <=
- 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