Subject: bug#55169: Can't combine window-min-height with window-height

From: martin rudalics <[email-masked]>
Date: Mon, 9 May 2022 09:38:58 +0200

>        (/= old-height (window-pixel-height window)))))

Better

         (> old-height (window-pixel-height window)))))

since in some corner cases 'fit-window-to-buffer' might have grown
WINDOW by a few pixels here.

martin