Subject: Re: bug#50993: 29.0.50; Problems when dragging the mouse over the toolbar

From: Juri Linkov <[email-masked]>
Date: Thu, 14 Oct 2021 19:09:02 +0300

>> Please suggest how the shape of the mouse pointer could be changed
>> in [down-mouse-1], and restored in [drag-mouse-1].
>
> Have you tried setting a 'pointer' property on the entire text in the
> tab-bar window for that while?  Honestly, I have never looked into how
> the tab-bar is implemented.

Do you mean adding 'mouse-face highlight' to tab strings?
It has no effect on the tab bar.  Maybe something is missing
in note_tab_bar_highlight?