Re: Mention mouse-face changes mouse pointer shape

[Kim F. Storm]

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