|
From: | martin rudalics |
Subject: | bug#55169: Can't combine window-min-height with window-height |
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
[Prev in Thread] | Current Thread | [Next in Thread] |