[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Mention mouse-face changes mouse pointer shape

From: Kim F. Storm
Subject: Re: Mention mouse-face changes mouse pointer shape
Date: Thu, 22 Feb 2007 18:24:00 +0100
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.93 (gnu/linux)

Jason Rumney <address@hidden> writes:

>> The 'mouse-face text property changes the mouse pointer shape to a
>> hand, at least on w32. Should not this be mentioned, for example in
> I think the change was a mistake, instead we should have arranged the
> relevant areas to have both mouse-face and pointer text
> properties. But I don't know how much effort it will be now to go back
> and change this.

Maybe it was a mistake, but in most cases, I think a hand cursor is
the right pointer shape for mouse-face.  If necessary, a pointer
property can still be used to select another cursor shape.

If not, that's a bug we should fix.

Kim F. Storm <address@hidden> http://www.cua.dk

reply via email to

[Prev in Thread] Current Thread [Next in Thread]