(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.