Source position: gtkwidget.inc line 31
type TGtkWidgetHelpType = (
GTK_WIDGET_HELP_TOOLTIP,
GTK_WIDGET_HELP_WHATS_THIS
);