[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: |
Fri, 15 Feb 2002 15:33:39 +0200 |
> From: address@hidden (Kim F. Storm)
> Date: 15 Feb 2002 14:23:02 +0100
>
> 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.
> Have any of you actually tried the patch I posted yesterday?
I cannot try it because you only posted a patch that's specific to X,
and I don't have an X installation here.
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 <=
- 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