[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50424: 27.2; Tab bar button mouse face not clearing entirely
From: |
Juri Linkov |
Subject: |
bug#50424: 27.2; Tab bar button mouse face not clearing entirely |
Date: |
Sat, 11 Sep 2021 22:43:44 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (x86_64-pc-linux-gnu) |
>> 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
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, (continued)
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Eli Zaretskii, 2021/09/11
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Juri Linkov, 2021/09/11
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Eli Zaretskii, 2021/09/11
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Eli Zaretskii, 2021/09/12
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Juri Linkov, 2021/09/12
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Eli Zaretskii, 2021/09/12
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Juri Linkov, 2021/09/12
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Eli Zaretskii, 2021/09/12
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Juri Linkov, 2021/09/13
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Eli Zaretskii, 2021/09/13
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely,
Juri Linkov <=
- bug#50424: 27.2; Tab bar button mouse face not clearing entirely, Eli Zaretskii, 2021/09/11