[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: |
Mon, 08 May 2023 19:14:46 +0300 |
> From: Juri Linkov <juri@linkov.net>
> Cc: luangruo@yahoo.com, 63271@debbugs.gnu.org
> Date: Mon, 08 May 2023 18:56:05 +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?
>
> Here is the minimal test case:
>
> (insert " " (propertize "TODO"
> 'face '(:inherit variable-pitch)
> 'mouse-face 'highlight))
>
> that causes such effect after moving point over highlighted text
> in fundamental-mode:
Not reproducible here. I guess it isn't enough to use a face, you
need a specific font for that?
And what exactly is the manifestation of the problem in the image you
posted? that wide black part that hides the letters "ODO"? or
something else?
- 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, 2023/05/07
- bug#63271: 29.0.90; broken mouse-face, Juri Linkov, 2023/05/08
- bug#63271: 29.0.90; broken mouse-face,
Eli Zaretskii <=
- 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
- bug#63271: 29.0.90; broken mouse-face, Gregory Heytings, 2023/05/09
- bug#63271: 29.0.90; broken mouse-face, Stephen Berman, 2023/05/10