(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.
Showing
Please register or sign in to comment
changing heights, so that a future shrink_mini_window won't restore a bogus height.