Source position: gtkwidget.pp line 333
procedure gtk_widget_size_allocate(
widget: PGtkWidget;
allocation: PGtkAllocation
);