Source position: gtkwidget.inc line 407
procedure gtk_widget_get_size_request(
widget: PGtkWidget;
width: Pgint;
height: Pgint
);