[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#63271: 29.0.90; broken mouse-face
From: |
Eli Zaretskii |
Subject: |
bug#63271: 29.0.90; broken mouse-face |
Date: |
Sun, 07 May 2023 21:35:17 +0300 |
> From: Juri Linkov <juri@linkov.net>
> Cc: Eli Zaretskii <eliz@gnu.org>, 63271@debbugs.gnu.org
> Date: Sun, 07 May 2023 21:00:02 +0300
>
> I think your guess about fonts involved is right
> because the problem disappears when the tab-line face
> doesn't inherit from the 'variable-pitch' face.
How can a face affect mouse-highlight?
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/04
- bug#63271: 29.0.90; broken mouse-face, Eli Zaretskii, 2023/05/04
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/05
- bug#63271: 29.0.90; broken mouse-face, Eli Zaretskii, 2023/05/05
- bug#63271: 29.0.90; broken mouse-face, Po Lu, 2023/05/06
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/07
- bug#63271: 29.0.90; broken mouse-face,
Eli Zaretskii <=
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face, Eli Zaretskii, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face, Stephen Berman, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face, Eli Zaretskii, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face, Stephen Berman, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face, Stephen Berman, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/09
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/09
- bug#63271: 29.0.90; broken mouse-face, Eli Zaretskii, 2023/05/09