Source position: gtkclock.inc line 4
type TGtkClockType = (
GTK_CLOCK_INCREASING,
GTK_CLOCK_DECREASING,
GTK_CLOCK_REALTIME
);