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

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.

Will do.  On master though and as soon as I can build again (Paul's
last commit broke that on Windows here).

martin