Make the core pointer object per-display. (#85698)

Tue Jun 18 19:11:51 2002  Owen Taylor  <otaylor@redhat.com>

        * gdk/gdkdisplay.[ch] gdk/gdkevents.c gdk/gdkinput.h
        gdk/gdkinternals.h gdk/win32/gdkevents-win32.c
        gdk/win32/gdkinput-win32.[ch] gdk/x11/gdkevents-x11.c
        gdk/x11/gdkinput{,-none,-x11}.c gdk/x11/gdkinputprivate.h:
        Make the core pointer object per-display. (#85698)

1 files changed, 28 insertions, 0 deletions

diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index f1c8691786..9a746d4978 100644
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -323,3 +323,31 @@ gdk_event_send_clientmessage_toall (GdkEvent *event)
   gdk_screen_broadcast_client_message (gdk_get_default_screen (), event);
 }
 
+/**
+ * gdk_device_get_core_pointer:
+ * 
+ * Returns the core pointer device for the default display.
+ * 
+ * Return value: the core pointer device; this is owned by the
+ *   display and should not be freed.
+ **/
+GdkDevice *
+gdk_device_get_core_pointer (void)
+{
+  return gdk_display_get_core_pointer (gdk_get_default_display ());
+}
+
+/**
+ * gdk_display_get_core_pointer:
+ * @display: a #GdkDisplay
+ * 
+ * Returns the core pointer device for the given display
+ * 
+ * Return value: the core pointer device; this is owned by the
+ *   display and should not be freed.
+ **/
+GdkDevice *
+gdk_display_get_core_pointer (GdkDisplay *display)
+{
+  return display->core_pointer;
+}