Source position: gdkdisplay.inc line 68
procedure gdk_display_pointer_ungrab(
display: PGdkDisplay;
time: guint32
);