Allow the user to shrink the window

Use gtk.Window.resize() to set the window size.