GNU bug report logs - #76394
mouse-face property not working in tab-bar

Previous Next

Full log

Message #97 received at 76394 <at> debbugs.gnu.org (full text, mbox):

From: Juri Linkov <juri <at> linkov.net>
To: Ship Mints <shipmints <at> gmail.com>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 76394 <at> debbugs.gnu.org
Subject: Re: bug#76394: mouse-face property not working in tab-bar
Date: Mon, 03 Mar 2025 09:42:52 +0200

>     While we're at this, should we implement the equivalent of
>     tab-line-close-highlight in tab-bar?  I can do that before I share the
>     next patch.
>
> I went ahead and mousified the close buttons, too, like tab-line does.

Sorry, the close buttons now look horrible.

Could you try to keep the previous style that
slightly raised the close button's border on hover?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.