[gtk+/events-refactor: 706/1085] gdk_display_warp_pointer(): Use GdkDevice::warp.

[Carlos Garnacho <carlosg src gnome org>]

commit 5896aa3f2ede89f04f37bb712190cda79a84bd56
Author: Carlos Garnacho <carlos lanedo com>
Date:   Wed Aug 12 19:48:35 2009 +0200

    gdk_display_warp_pointer(): Use GdkDevice::warp.

 gdk/x11/gdkwindow-x11.c |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/gdk/x11/gdkwindow-x11.c b/gdk/x11/gdkwindow-x11.c
index e83706b..ecba091 100644
--- a/gdk/x11/gdkwindow-x11.c
+++ b/gdk/x11/gdkwindow-x11.c
@@ -3186,13 +3186,13 @@ gdk_display_warp_pointer (GdkDisplay *display,
 			  gint        x,
 			  gint        y)
 {
-  Display *xdisplay;
-  Window dest;
+  GdkDevice *device;
 
-  xdisplay = GDK_DISPLAY_XDISPLAY (display);
-  dest = GDK_WINDOW_XWINDOW (gdk_screen_get_root_window (screen));
+  g_return_if_fail (GDK_IS_DISPLAY (display));
+  g_return_if_fail (GDK_IS_SCREEN (screen));
 
-  XWarpPointer (xdisplay, None, dest, 0, 0, 0, 0, x, y);  
+  device = display->core_pointer;
+  GDK_DEVICE_GET_CLASS (device)->warp (device, screen, x, y);
 }
 
 GdkWindow*