GdkDisplay::pointer_ungrab

void pointer_ungrab([int time_ = GDK_CURRENT_TIME]);

See also: keyboard_ungrab()