Timing/scheduling of events.
There are two kinds of timers in this module: a generic timer based on a
thread (GenericTimer) and a GUI timer based on the GUI main event loop
(GuiTimer).
The generic timer is much more accurate than the GUI timer (which will depend
on the current load of the main event loop) and is therefore very well suited
for time-critical applications like device drivers. However, since it is
running in its own thread, it is always somewhat cumbersome to integrate a
generic timer into a GUI application, in which case the GUI timer is the
preferred solution.
Note that the GuiTimer class is not made available if pdk.Util.guiavailable
returns False.
FOG 08.2000