static void has_pointer_grab_callback (GdkDisplay *display, gpointer data, gulong serial) { _gdk_display_pointer_grab_update (display, serial); }
void gdk_display_pointer_ungrab (GdkDisplay *display, guint32 time) { GdkPointerGrabInfo *grab = _gdk_display_get_last_pointer_grab (display); if (grab) { grab->serial_end = 0; } _gdk_display_pointer_grab_update (display, 0); }