[gtk+] quartz: get the core pointer from the device manager

[Paolo Borelli <pborelli src gnome org>]

commit 502744be8557e67166020ce864b8115c02d17c0d
Author: Paolo Borelli <pborelli gnome org>
Date:   Sun Feb 28 15:11:45 2016 +0100

    quartz: get the core pointer from the device manager
    
    https://bugzilla.gnome.org/show_bug.cgi?id=762820

 gdk/quartz/gdkdisplay-quartz.c |   18 +-----------------
 1 files changed, 1 insertions(+), 17 deletions(-)
---
diff --git a/gdk/quartz/gdkdisplay-quartz.c b/gdk/quartz/gdkdisplay-quartz.c
index 6b4afc8..62e1d65 100644
--- a/gdk/quartz/gdkdisplay-quartz.c
+++ b/gdk/quartz/gdkdisplay-quartz.c
@@ -86,26 +86,10 @@ gdk_quartz_display_init_input (GdkDisplay *display)
 
   g_list_free (list);
 
-  /* Now set "core" pointer to the first master device that is a pointer. */
-  list = gdk_device_manager_list_devices (device_manager,
-                                          GDK_DEVICE_TYPE_MASTER);
-
-  for (l = list; l; l = l->next)
-    {
-      GdkDevice *device = l->data;
-
-      if (gdk_device_get_source (device) != GDK_SOURCE_MOUSE)
-        continue;
-
-      display->core_pointer = device;
-      break;
-    }
-
   /* Add the core pointer to the devices list */
+  display->core_pointer = GDK_QUARTZ_DEVICE_MANAGER_CORE (device_manager)->core_pointer;
   display_quartz->input_devices = g_list_prepend (display_quartz->input_devices,
                                                   g_object_ref (display->core_pointer));
-
-  g_list_free (list);
 }
 
 GdkDisplay *