[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/en
From: |
Eli Zaretskii |
Subject: |
bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different |
Date: |
Sun, 02 Feb 2020 22:09:41 +0200 |
> Cc: 39390@debbugs.gnu.org
> From: Raphael 'kena' Poss <knz@thaumogen.net>
> Date: Sun, 2 Feb 2020 21:00:53 +0100
>
> If you are telling me that (compose-region) should never have agreed to
> operate on a range of symbols with different faces, then I have
> counter-evidence that it does. If you are telling me that it shouldn't,
> then maybe that's where the bug really lies.
I'm telling that it cannot work well in these circumstances, and you
shouldn't expect it to.
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different,
Eli Zaretskii <=
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/02
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/03
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/04
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/16
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/16
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/16
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/16
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/16
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/16
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/16