Re: mouse-face property and pointer property makes pointer change back and forth

[Eli Zaretskii]

> From: Mauro Aranda <maurooaranda@gmail.com>
> Date: Tue, 28 Jan 2025 20:29:08 -0300
> 
> My guess is that there's a conflict with specifying
> arrow as the pointer together with specifying
> a mouse-face, but I didn't see anything in the
> manual that indicates that the pointer is always
> hand if there's a mouse-face property.

Yes, the 'pointer' property, when non-nil, overrides the cursor shape
determined from other sources, including the area of the Emacs display
and the mouse-highlighted text.

> i took a look at xdisp.c and maybe show_mouse_face
> draws the hand pointer unconditionally.  I know
> nothing about xdisp.c though.  Any ideas?

show_mouse_face does that for the mouse-face property.  But the
note_mouse_highlight can override that if it finds the 'pointer'
property at the same position (see where it calls define_frame_cursor1
at its end).

I guess we should document that the 'pointer' property always wins.

However, the above doesn't explain why you don't see an arrow
although the 'pointer' property specifies it.  I do see the arrow,
but that's on MS-Windows.