375
375
GdkDeviceManager* manager = gdk_display_get_device_manager(display);
376
376
GdkDevice* device = gdk_device_manager_get_client_pointer(manager);
377
377
gdk_device_grab(device, window,
378
GDK_OWNERSHIP_NONE, false, mask, NULL, unsigned(GDK_CURRENT_TIME));
378
GDK_OWNERSHIP_NONE, true, mask, NULL, unsigned(GDK_CURRENT_TIME));
380
380
gdk_pointer_grab( window, true,