bug#30746: window-text-pixel-width includes width of following propertized space

[Stefan Kangas <stefan@marxist.se>]

fixed 30746 26.1
close 30746
quit

Clément Pit-Claudel <clement.pitclaudel@live.com> writes:

> On 2018-03-16 12:13, Eli Zaretskii wrote:
>>> Cc: 30746@debbugs.gnu.org
>>> From: Clément Pit-Claudel <clement.pitclaudel@live.com>
>>> Date: Fri, 16 Mar 2018 10:09:40 -0400
>>>
>>> Thanks a lot; the width is indeed fixed.  However, the fix seems to have broken the height calculation: the first snippet above now returns (8 . 0), whereas the second one returns (8 . 16).
>>
>> Fixed.
>
> Works perfectly. Thanks a lot.

This was fixed by:

commit c4db7662bb4740f069e494cfe632c76a0d21d6d7
Author: Eli Zaretskii <eliz@gnu.org>
Date:   Fri Mar 16 18:11:07 2018 +0200

    Another followup to fixing 'window-text-pixel-width'

    * src/xdisp.c (Fwindow_text_pixel_size): Adjust the return value
    when we stop one buffer position short of TO.  (Bug#30746)

And:

commit f1f12d8be3ddc5aa0a79658f5b339c78742321fa
Author: Eli Zaretskii <eliz@gnu.org>
Date:   Thu Mar 8 15:32:23 2018 +0200

    Fix 'window-text-pixel-size' when display properties are around

    * src/xdisp.c (Fwindow_text_pixel_size): Correct the result when
    there's a display property at the  TO position, and the call to
    move_it_to overshoots.  (Bug#30746)

I'm therefore closing this bug report.

Best regards,
Stefan Kangas