(x_set_window_size): Don't use `None' with widgets; use