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

Previous Next

Full log

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

From: Juri Linkov <juri <at> linkov.net>
To: Alan Third <alan <at> idiocy.org>
Cc: luangruo <at> yahoo.com, 50424 <at> debbugs.gnu.org
Subject: Re: bug#50424: 27.2; Tab bar button mouse face not clearing entirely
Date: Sat, 11 Sep 2021 22:43:44 +0300

>> The change below fixes it here, but I've not made sure it does the
>> right thing with different sized margins and so on.
>
> Thanks, I really appreciate your help.  After seeing the result
> of your patch, one question that came up is whether it's possible
> not to change the previously used dimensions?  With enlarged height
> and width, now the buttons are not vertically aligned:

Sorry, actually this question was addressed to Eli
for the commit with the same subject but different hash:
db74a93659 that contains such changes:

- :margin (2 . 0)
+ :margin ,tab-bar-button-margin

Previous Next

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