Re: Display problems with overlays (on w32 only?)

[Chong Yidong]

"Lennart Borgman (gmail)" <address@hidden> writes:

> Chong Yidong wrote:
>> "Lennart Borgman (gmail)" <address@hidden> writes:
>>
>>> In the attached images I have one overlay one character long that has
>>> a red underline.
>>
>> In the code you provide, the overlay is two characters long, not one.
>> If you make the overlay span 3 to 4, everything works fine.
>
> Ah, yes, but that was just to show that it is not necessary that it is
> one character long. (When I reported it first that was all I knew. I
> thought it was best to do it as quickly as possible.)

It also shows that the bug can be trivially worked around.  I don't
think we should make any changes to the redisplay code, at least not
for this class of bug.