> 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.