[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: |
Raphael 'kena' Poss |
Subject: |
bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different |
Date: |
Sun, 16 Feb 2020 14:40:04 -0500 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 |
On 16-02-2020 14:34, Eli Zaretskii wrote:
> Actually, I take that back: what's in the buffer is "abc", and it
> displays as a single @. I simply copy/pasted from your message and
> forgot to delete one @. Sorry for the confusion.
1) so you agree there's a discrepancy between the configuration (which
should generate a _double_ @) and the display (which displays just one
@). I am expecting the result of the composition to display two @'s. I
would like to understand where this discrepancy comes from.
2) after we settle on what's the expected _display_ you can still see
the display bug as per my further instructions. I am still observing
inconsistent redraws, and I'd like to understand where they come from.
3) My original report was that _regardless of the intended result
display_ (either one or two chars or more), there is a refresh/redisplay
bug when the cursor moves across the composition. Instead of focusing on
the number of characters on the result of composition, I'd like to focus
on the display bug. If you do not observe the display bug with this
particular example config, I can produce a dozen alternate
configurations that demonstrate the bug, with screen recordings of each.
Let me know if that's useful.
Regards,
--
Raphael 'kena' Poss
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, (continued)
- 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/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 <=
- 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, Tassilo Horn, 2020/02/17
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/17
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Tassilo Horn, 2020/02/17
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/17
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/17
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/17
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Eli Zaretskii, 2020/02/17
- bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different, Raphael 'kena' Poss, 2020/02/17