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

From: Juri Linkov <[email-masked]>
Date: Thu, 06 Mar 2025 20:40:15 +0200

> Patch attached.  Pretty much the same one as a few patches ago.

Thanks!  Now pushed to master.  Let's keep this open
until we could find a solution for the close button
to change its borders on hover as defined by the
face style 'released-button'.