docs: Fix gdk_display_get_core_pointer() docs

Point to gdk_device_manager_get_client_pointer(),
not gdk_display_get_client_pointer().
This commit is contained in:
Javier Jardón
2010-09-13 02:46:46 +02:00
parent 66e860b5d1
commit e3fafd7512

View File

@ -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.
**/