[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: |
Mon, 10 Jun 2019 16:32:07 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 |
On 2019-06-08 01:54, Eli Zaretskii wrote:
>> Cc: 36030@debbugs.gnu.org
>> From: Clément Pit-Claudel <cpitclaudel@gmail.com>
>> Date: Fri, 7 Jun 2019 17:11:59 -0400
>>
>>>> I think it might fix part of the problem, but I still see some flickering
>>>> and font changes.
>>>
>>> Which of the two changes fixed part of the problem? the current master
>>> or the additional patch in bug#28312? The latter is not installed on
>>> master.
>>
>> The current master, I think. But please don't give too much credence to my
>> vague hunches (things seem to be better, but I need a good repro to be
>> definitive).
>
> OK, thanks. If you could afford trying the other patch, I'd be
> interested to know whether it has any effect on your problem.
I tried it, but I didn't see further improvements. I think there is a slight
performance degradation, but that's subjective too.