Source position: gdkmain.pp line 320
procedure gdk_input_set_key(
deviceid: guint32;
index: guint;
keyval: guint;
modifiers: TGdkModifierType
);