[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 17:11:59 -0400 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 |
On 2019-06-07 15:50, Eli Zaretskii wrote:
>> Cc: 36030@debbugs.gnu.org
>> From: Clément Pit-Claudel <cpitclaudel@gmail.com>
>> Date: Fri, 7 Jun 2019 13:45:01 -0400
>>
>>> 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.
>
> 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).