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

Previous Next

Full log

View this message in rfc822 format

From: Ship Mints <shipmints <at> gmail.com>
To: Juri Linkov <juri <at> linkov.net>
Cc: 76394 <at> debbugs.gnu.org
Subject: bug#76394: mouse-face property not working in tab-bar
Date: Mon, 24 Feb 2025 10:27:11 -0500

[Message part 1 (text/plain, inline)]

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

-Stephane

On Tue, Feb 18, 2025 at 12:14 PM Juri Linkov <juri <at> linkov.net> wrote:

> > I was trying to make a simple aesthetic change to tab-bar to highlight a
> > tab when it is moused over.  mouse-face seems to work in tab-line,
> > header-line, and obviously in mode-line.  Mouse events are processed in
> the
> > tab-bar window.  Am I missing something obvious?  I tested in 29.4 and in
> > master.
>
> Indeed, this would be a nice feature.  Patches welcome.
>

[Message part 2 (text/html, inline)]

[0001-Handle-mouse-face-properties-on-tab-bar-tabs-bug-763.patch (application/octet-stream, attachment)]

Previous Next

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