Пример #1
0
static void
has_pointer_grab_callback (GdkDisplay *display,
			   gpointer data,
			   gulong serial)
{
  _gdk_display_pointer_grab_update (display, serial);
}
Пример #2
0
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);
}