enhancement: save and restore window size
also remove gtk_widget_set_size_request() so users can shrink the window