[gtk+/wip/mir3.12: 30/46] mir: set core pointer on GdkDisplay

[Robert Ancell <rancell src gnome org>]

commit 6e2230b270049a2ecbe9fb7b33b529b5b30fdab4
Author: Ryan Lortie <desrt desrt ca>
Date:   Wed May 28 16:31:22 2014 +0200

    mir: set core pointer on GdkDisplay

 gdk/mir/gdkmirdevicemanager.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gdk/mir/gdkmirdevicemanager.c b/gdk/mir/gdkmirdevicemanager.c
index 46d7d78..c94f8a3 100644
--- a/gdk/mir/gdkmirdevicemanager.c
+++ b/gdk/mir/gdkmirdevicemanager.c
@@ -18,6 +18,7 @@
 #include "config.h"
 
 #include "gdkdevicemanagerprivate.h"
+#include "gdkdisplayprivate.h"
 #include "gdkdeviceprivate.h"
 
 #include "gdkmir.h"
@@ -102,6 +103,8 @@ gdk_mir_device_manager_constructed (GObject *object)
   _gdk_device_set_associated_device (device_manager->keyboard, device_manager->pointer);
   _gdk_device_set_associated_device (device_manager->pointer, device_manager->keyboard);
 
+  gdk_device_manager_get_display (GDK_DEVICE_MANAGER (device_manager))->core_pointer = 
device_manager->pointer;
+
   G_OBJECT_CLASS (gdk_mir_device_manager_parent_class)->constructed (object);
 }