[mutter] ui: Don't use gdk_device_manager_get_client_pointer

[Adel Gadllah <agadllah src gnome org>]

commit b33b4a8e2c7d6375a59d3674643988654a0bfa5e
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Thu Feb 7 21:11:53 2013 +0100

    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 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/ui/ui.c b/src/ui/ui.c
index 1fe5cd4..2f2fc3a 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