[gtk+] docs: Fix gdk_display_get_core_pointer() docs

[Javier Jardón <jjardon src gnome org>]

commit e3fafd75129f393b84e8c63f02742cf576abbe40
Author: Javier Jardón <jjardon gnome org>
Date:   Mon Sep 13 02:46:46 2010 +0200

    docs: Fix gdk_display_get_core_pointer() docs
    
    Point to gdk_device_manager_get_client_pointer(),
    not gdk_display_get_client_pointer().

 gdk/gdkdisplay.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 3b6ae83..dc1c5c8 100644
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -623,7 +623,7 @@ gdk_event_send_clientmessage_toall (GdkEvent *event)
  * Return value: the core pointer device; this is owned by the
  *   display and should not be freed.
  *
- * Deprecated: 3.0: Use gdk_display_get_client_pointer() instead, or
+ * Deprecated: 3.0: Use gdk_device_manager_get_client_pointer() instead, or
  *             gdk_event_get_device() if a #GdkEvent with pointer device
  *             information is available.
  **/
@@ -644,7 +644,7 @@ gdk_device_get_core_pointer (void)
  *
  * Since: 2.2
  *
- * Deprecated: 3.0: Use gdk_display_get_client_pointer() instead, or
+ * Deprecated: 3.0: Use gdk_device_manager_get_client_pointer() instead, or
  *             gdk_event_get_device() if a #GdkEvent with device
  *             information is available.
  **/