(x_change_window_heights): New function.