Source position: gtkwidget.pp line 47
type TGtkAllocation = record
x: gint16;
y: gint16;
width: guint16;
height: guint16;
end;