Source position: gdkdisplay.inc line 69
procedure gdk_display_keyboard_ungrab(
display: PGdkDisplay;
time: guint32
);