diff options
| author | Gerd Moellmann <[email protected]> | 2001-10-31 10:06:35 +0000 |
|---|---|---|
| committer | Gerd Moellmann <[email protected]> | 2001-10-31 10:06:35 +0000 |
| commit | eafa319686563cbfb93ba725bb1d5d7a5e8c1a3b (patch) | |
| tree | 9242752372308652e31f0dc9cdff5dfaaa1af6e5 /src/window.c | |
| parent | 95fa1ff74aa9ae40d5ef4b680ea606287c40327f (diff) | |
(grow_mini_window): Handle case that the root
window is already smaller than the nominal mininum height.
Diffstat (limited to 'src/window.c')
| -rw-r--r-- | src/window.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/window.c b/src/window.c index 0c095c1a82..5f122976d9 100644 --- a/src/window.c +++ b/src/window.c @@ -3751,7 +3751,9 @@ grow_mini_window (w, delta) { int min_height = window_min_size (root, 0, 0, 0); if (XFASTINT (root->height) - delta < min_height) - delta = XFASTINT (root->height) - min_height; + /* Note that the roor window may already be smaller than + min_height. */ + delta = max (0, XFASTINT (root->height) - min_height); } if (delta) |