From b33b4a8e2c7d6375a59d3674643988654a0bfa5e Mon Sep 17 00:00:00 2001 From: Adel Gadllah Date: Thu, 7 Feb 2013 21:11:53 +0100 Subject: [PATCH] ui: Don't use gdk_device_manager_get_client_pointer gdk_device_manager_get_client_pointer which in calls XIGetClientPointer seems to be very slow in a XI2 world. So use gdk_x11_device_manager_lookup (gmanager, META_VIRTUAL_CORE_POINTER_ID) instead. https://bugzilla.gnome.org/show_bug.cgi?id=693354 --- src/ui/ui.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ui/ui.c b/src/ui/ui.c index 1fe5cd4ba..2f2fc3aa0 100644 --- a/src/ui/ui.c +++ b/src/ui/ui.c @@ -151,7 +151,7 @@ maybe_redirect_mouse_event (XEvent *xevent) return FALSE; gmanager = gdk_display_get_device_manager (gdisplay); - gdevice = gdk_device_manager_get_client_pointer (gmanager); + gdevice = gdk_x11_device_manager_lookup (gmanager, META_VIRTUAL_CORE_POINTER_ID); /* If GDK already thinks it has a grab, we better let it see events; this * is the menu-navigation case and events need to get sent to the appropriate