5aa89fa9e6
GtkWidget.set_size_request() enforces a minimum size, while GtkWidget.set_default_size() simply sets the default size. The docs of set_size_request() say "In most cases, gtk_window_set_default_size() is a better choice for toplevel windows", and in our case it doesn't seem necessary to prohibit the window from having a smaller size, so switch to using the default_width and default_height properties. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3307>