Adel Gadllah b33b4a8e2c 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
2013-02-07 21:54:27 +01:00
..
2013-01-16 14:25:11 -05:00
2009-06-16 14:17:10 -04:00
2012-04-24 15:20:39 -04:00
2012-10-15 19:18:45 +02:00