[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36030: Changing the region or the point changes the way characters a
From: |
Clément Pit-Claudel |
Subject: |
bug#36030: Changing the region or the point changes the way characters are displayed |
Date: |
Fri, 7 Jun 2019 13:45:01 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 |
On 2019-06-06 10:18, Eli Zaretskii wrote:
>> Cc: 36030@debbugs.gnu.org
>> From: Clément Pit-Claudel <cpitclaudel@gmail.com>
>> Date: Fri, 31 May 2019 16:51:10 -0400
>>
>>> I see none of that in "emacs -Q". I also don't understand how
>>> resizing the frame could cause these effects. If the recipe is more
>>> complicated than just copy/paste the strings you show into *scratch*,
>>> please be sure to show the whole recipe. E.g., where did the face
>>> properties come from?
>>
>> This is python-mode's syntax highlighting. Unfortunately, I don't have a
>> reproducible recipe for these issues yet; they happen on my machine, but I
>> have many custom fonts and Emacs customization here. I will try to find a
>> recipe.
>
> Could you please try the latest master and see if these problems are
> solved? If not, could you please try applying the patch I posted in
> bug#28312, and see if that fixes your problems?
I think it might fix part of the problem, but I still see some flickering and
font changes.
I'm still working on finding a repro.
Thanks a lot for your help.
- bug#36030: Changing the region or the point changes the way characters are displayed, Eli Zaretskii, 2019/06/01
- bug#36030: Changing the region or the point changes the way characters are displayed, Eli Zaretskii, 2019/06/06
- bug#36030: Changing the region or the point changes the way characters are displayed,
Clément Pit-Claudel <=
- bug#36030: Changing the region or the point changes the way characters are displayed, Eli Zaretskii, 2019/06/07
- bug#36030: Changing the region or the point changes the way characters are displayed, Clément Pit-Claudel, 2019/06/07
- bug#36030: Changing the region or the point changes the way characters are displayed, Eli Zaretskii, 2019/06/08
- bug#36030: Changing the region or the point changes the way characters are displayed, Clément Pit-Claudel, 2019/06/10
- bug#36030: Changing the region or the point changes the way characters are displayed, Eli Zaretskii, 2019/06/10