Source position: gtkwidget.inc line 370
procedure gtk_widget_size_allocate(
widget: PGtkWidget;
allocation: PGtkAllocation
);