(window_min_size): New. (set_window_height): Use window_min_size. (change_window_height): Ditto.
Attach a file by drag & drop or click to upload