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:33:56 +0200

> From: Ship Mints <shipmints <at> gmail.com>
> Date: Fri, 28 Feb 2025 16:43:46 -0500
> Cc: juri <at> linkov.net, 76394 <at> debbugs.gnu.org
> 
> +(defface tab-bar-tab-highlight
> +  '((t :inherit highlight))
> +  "Tab bar face for highlighting."

IMO, the doc string should say that this face is used as mouse-face
on tab-bar buttons.

> +---
> +*** 'mouse-face' properties are now supported on the 'tab-bar'.
> +The new face 'tab-bar-tab-highlight' is applied as the 'mouse-face' on
> +each tab.
> +

And this NEWS entry should also say that tab-bar buttons are now
highlighted by default when the mouse pointer hovers of them, and that
to control that users can customize this new face.

Thanks.

Previous Next

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