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
This commit is contained in:
Adel Gadllah 2013-02-07 21:11:53 +01:00
parent 6f74a63bbd
commit b33b4a8e2c

View File

@ -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