[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: |
Jason Rumney |
Subject: |
Re: Proposal: Only highlight mouse-face when mouse is moved |
Date: |
14 Feb 2002 19:04:46 +0000 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.1.90 |
Eli Zaretskii <address@hidden> writes:
> It's been awhile since I looked at that code, but IIRC, the decision
> whether or not to highlight is made each time the display is updated.
Yes, but we have a record of what was highlighted at the start of
redisplay, so we can easily make the distinction between new
highlighting and maintaining an existing highlight.
--
Jason Rumney
- 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, 2002/02/13
- 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 <=
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