|
From: | Richard Stallman |
Subject: | Re: Proposal: Only highlight mouse-face when mouse is moved |
Date: | Thu, 14 Feb 2002 05:46:30 -0700 (MST) |
However, my intention was actually to turn off mouse-highlight if the last event was not a mouse-movement, mainly because that seems to be the simplest approach to implement. This does seem like a coherent alternative: the highlighting goes away when you don't use the mouse.
[Prev in Thread] | Current Thread | [Next in Thread] |