# HG changeset patch # User Gerd Moellmann # Date 980539339 0 # Node ID d69ca64e002d8208e4cd0078403fe02d47466379 # Parent 5f154b8fc2bdb00f437d7f665e4e3e0e6d43aa21 *** empty log message *** diff -r 5f154b8fc2bd -r d69ca64e002d src/ChangeLog --- a/src/ChangeLog Fri Jan 26 20:01:43 2001 +0000 +++ b/src/ChangeLog Fri Jan 26 20:02:19 2001 +0000 @@ -1,5 +1,9 @@ 2001-01-26 Gerd Moellmann + * window.c (size_window): Set the window's orig_top to nil when + changing heights, so that a future shrink_mini_window won't + restore a bogus height. + * frame.c (do_switch_frame): If selected frame has a mini-window, resize that to exact size.