Source position: gdkmain.pp line 317
procedure gdk_input_set_source(
deviceid: guint32;
source: TGdkInputSource
);