Subject: Re: bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing.

From: Gregory Heytings <[email-masked]>
Date: Sat, 01 Apr 2023 17:01:03 +0000

>> Okay, so what would be the correct calculation here?  This?
>
> Yes.
>

Thanks.  Done in 097c5ee8f5, together with the FRAME_WINDOW_P fix.  Do you 
have other comments/reservations?