Make main mainwindow components' sizing slightly more sane.

Make main mainwindow components' sizing slightly more sane.

gtk_widget_set_size_request() is setting minimal widget size
now, so we can't use it for restoring remembered component
sizes anymore, since then they can't be made any smaller than
the remembered size anymore.