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

[Eli Zaretskii]

> Date: Wed, 29 Jan 2025 11:05:09 -0300
> Cc: emacs-devel@gnu.org
> From: Mauro Aranda <maurooaranda@gmail.com>
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
>  > If not, then I guess only debugging on the C level will tell us what's
>  > going on.  Although debugging problems that only happen when the
>  > cursor is blinking is not easy.  But perhaps adding some printf's to
>  > the relevant functions will help us understand what's going on.
> 
> I can do that with some guidance (I don't know where to put the
> printf's, to begin with).

Inside define_frame_cursor1 and note_mouse_highlight, to see why they
intermittently display two different pointer shapes.

> Should I file a bug report?

Yes, probably a good idea.

Thanks.