(set_window_height, set_window_width): If window starts out "too small", set its too_small_ok flag. If window's too_small_ok flag is set, don't delete it unless it is so small it would cause a crash.