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

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Ship Mints <shipmints <at> gmail.com>
Cc: 76394 <at> debbugs.gnu.org, juri <at> linkov.net
Subject: bug#76394: mouse-face property not working in tab-bar
Date: Sat, 01 Mar 2025 10:19:25 +0200

> From: Ship Mints <shipmints <at> gmail.com>
> Date: Fri, 28 Feb 2025 15:35:44 -0500
> Cc: juri <at> linkov.net, 76394 <at> debbugs.gnu.org
> 
> I will do two more things for the next patch.  I will add NEWS.  I will also use the new face as the default
> mouse-face in tab-bar-tab-name-format-face.  I suppose we could add a
> tab-bar-tab-name-format-mouse-face function to the tab-bar-tab-name-format-functions list.  What do
> you/Juri think?

Good ideas, both of them, IMO.

Thanks.

Previous Next

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