(set_window_size): New function.