Source position: gtktooltips.inc line 20
type TGtkTooltips = record |
parent_instance: TGtkObject; |
tip_window: PGtkWidget; |
tip_label: PGtkWidget; |
active_tips_data: PGtkTooltipsData; |
tips_data_list: PGList; |
flag0: LongInt; |
flag1: Word; |
timer_tag: gint; |
last_popdown: TGTimeVal; |
end; |