[gtk+/xi2: 1203/1239] GdkDisplay: gdk_devices_list() should return the core pointer as well.

[Carlos Garnacho <carlosg src gnome org>]

commit 4efcd88de5880d0d3215d2053e7ea2b2de9373c7
Author: Carlos Garnacho <carlos gnome org>
Date:   Sun Sep 20 17:36:27 2009 +0200

    GdkDisplay: gdk_devices_list() should return the core pointer as well.

 gdk/x11/gdkdisplay-x11.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gdk/x11/gdkdisplay-x11.c b/gdk/x11/gdkdisplay-x11.c
index 477dcce..456f929 100644
--- a/gdk/x11/gdkdisplay-x11.c
+++ b/gdk/x11/gdkdisplay-x11.c
@@ -1136,6 +1136,9 @@ _gdk_input_init (GdkDisplay *display)
       break;
     }
 
+  /* Add the core pointer to the devices list */
+  display_x11->input_devices = g_list_prepend (display_x11->input_devices, display->core_pointer);
+
   g_list_free (list);
 }