Source position: gtkpaned.inc line 11
type TGtkPaned = record |
container: TGtkContainer; |
child1: PGtkWidget; |
child2: PGtkWidget; |
handle: PGdkWindow; |
xor_gc: PGdkGC; |
cursor_type: TGdkCursorType; |
handle_pos: TGdkRectangle; |
child1_size: gint; |
last_allocation: gint; |
min_position: gint; |
max_position: gint; |
flag0: Word; |
last_child1_focus: PGtkWidget; |
last_child2_focus: PGtkWidget; |
saved_focus: PGtkWidget; |
drag_pos: gint; |
original_position: gint; |
end; |