Subject: Re: bug#38828: 26.3; Customized mode line breaks height of vertical scroll bar

From: Eli Zaretskii <[email-masked]>
Date: Fri, 03 Jan 2020 15:07:59 +0200

> Cc: [email-masked]
> From: martin rudalics <[email-masked]>
> Date: Fri, 3 Jan 2020 11:43:15 +0100
> 
>  > Yes, I think so.  You can easily try that yourself, though.
> 
> Paul's last commit broke that on Windows here

It did? what are the signs of the breakage?  (It does build for me.)