GNU bug report logs - #50424
27.2; Tab bar button mouse face not clearing entirely

Previous Next

Full log

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

From: Po Lu <luangruo <at> yahoo.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 50424 <at> debbugs.gnu.org, Alan Third <alan <at> idiocy.org>,
 Juri Linkov <juri <at> linkov.net>
Subject: Re: bug#50424: 27.2; Tab bar button mouse face not clearing entirely
Date: Tue, 07 Sep 2021 21:02:43 +0800

Eli Zaretskii <eliz <at> gnu.org> writes:

> I've fixed tab-bar.el to request the same margin as specified by
> tab-bar-button-margin, and I also fixed the code in w32term.c and
> xterm.c which used the corresponding tool-bar values when tab-bar
> values should have been used.  This improved the situation to some
> extent, but we still leave behind an artifact when the mouse moves off
> the tab-bar button: a 1-pixel vertical line.  I think that's because
> there's no relief definition in the image, but the value of
> tab-bar-button-relief is non-zero (and xterm.c/w32term.c use that
> non-zero value when they redraw the buttons).

Thanks.  Interestingly enough, I don't see a 1-pixel vertical line when
the highlight is cleared, but it could be an issue with my display.

Previous Next

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