Source position: gnomedock.inc line 129
type TGnomeDockBandChild = record |
widget: PGtkWidget; |
offset: guint; |
real_offset: guint; |
drag_offset: guint; |
drag_allocation: TGtkAllocation; |
prev_space: guint; |
foll_space: guint; |
drag_prev_space: guint; |
drag_foll_space: guint; |
max_space_requisition: guint; |
end; |