Source position: gtkwidget.pp line 148
type TGtkWidgetAuxInfo = record
x: gint16;
y: gint16;
width: gint16;
height: gint16;
end;