Gdk.Display.pointer_ungrab Reference Manual
Gdk.Display.pointer_ungrab:
Description:
public
void
pointer_ungrab (
uint
time_)
created by
valadoc