Source position: gdkinputprivate.inc line 112
procedure _gdk_input_ungrab_pointer(
display: PGdkDisplay;
time: guint32
);