[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62675: 29.0.60; emoji-zoom-increase interacts badly with faces
|
From: |
Eli Zaretskii |
|
Subject: |
bug#62675: 29.0.60; emoji-zoom-increase interacts badly with faces |
|
Date: |
Wed, 05 Apr 2023 12:54:27 +0300 |
> From: Robert Pluim <rpluim@gmail.com>
> Cc: 62675@debbugs.gnu.org
> Date: Wed, 05 Apr 2023 11:12:31 +0200
>
> Eli> Please do, and thanks. We don't need to understand why some bug
> seems
> Eli> to work, it is enough to fix the bug.
>
> This seems to work:
Looks reasonable, thanks. Please try both with font-lock-mode ON and
OFF, and in the latter case both with some non-default face at point
and without.