Source position: gtktooltips.pp line 23
type TGtkTooltips = record |
data: TGtkData; |
tip_window: PGtkWidget; |
active_tips_data: PGtkTooltipsData; |
tips_data_list: PGList; |
gc: PGdkGC; |
foreground: PGdkColor; |
background: PGdkColor; |
flag0: LongInt; |
timer_tag: gint; |
end; |