[mutter] Use GdkDeviceManager to get the core pointer

[Emmanuele Bassi <ebassi src gnome org>]

commit 2faf56947b48fedb5c4483c96391649a0ce4f359
Author: Emmanuele Bassi <ebassi linux intel com>
Date:   Fri Dec 17 17:12:01 2010 +0000

    Use GdkDeviceManager to get the core pointer
    
    Commit 2c8c1c6df49 in gtk+ removed gdk_display_get_core_pointer().
    
    The equivalent functionality can be achieved by using the
    GdkDeviceManager to retrieve the client pointer device.

 src/ui/ui.c |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/src/ui/ui.c b/src/ui/ui.c
index 5068ecb..abc0743 100644
--- a/src/ui/ui.c
+++ b/src/ui/ui.c
@@ -101,6 +101,7 @@ static gboolean
 maybe_redirect_mouse_event (XEvent *xevent)
 {
   GdkDisplay *gdisplay;
+  GdkDeviceManager *gmanager;
   MetaUI *ui;
   GdkEvent *gevent;
   GdkWindow *gdk_window;
@@ -206,7 +207,8 @@ maybe_redirect_mouse_event (XEvent *xevent)
     }
 
   /* If we've gotten here, we've created the gdk_event and should send it on */
-  gdk_event_set_device (gevent, gdk_display_get_core_pointer (gdisplay));
+  gmanager = gdk_display_get_device_manager (gdisplay);
+  gdk_event_set_device (gevent, gdk_device_manager_get_client_pointer (gmanager));
   gtk_main_do_event (gevent);
   gdk_event_free (gevent);