Source position: gtkwidget.inc line 406
procedure gtk_widget_set_size_request(
widget: PGtkWidget;
width: gint;
height: gint
);