[gtk+/saved/mir: 30/47] mir: set core pointer on GdkDisplay

[Ryan Lortie <desrt src gnome org>]

commit daee0d80e890b46d638ea412a06fc74620bda6cc
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);
 }