Subject: bug#76394: mouse-face property not working in tab-bar

From: Juri Linkov <[email-masked]>
Date: Thu, 27 Feb 2025 20:22:18 +0200

> First-cut patch for mouse-face handling on tab-bar items.  I left the
> default handling code in place not being sure what it really is intended to
> do (which appears to be nothing?).  It looks copied from
> note_tool_bar_highlight but I wasn't sure.  (xdisp internals are fun.  It's
> a work of art.)

Thanks.  What is the status of this patch?  I tried it out,
but can't see where is handles mouse-face.