Correct use of gtk_widget_set_size_request() - Alex