changing heights, so that a future shrink_mini_window won't restore a bogus height.
Attach a file by drag & drop or click to upload