[mutter/wip/xinput2r: 32/66] window: Use meta_device_pointer_warp()

[Jasper St. Pierre <jstpierre src gnome org>]

commit 715cd8e3cfb8afc1f1336d1aa195382fe6119f49
Author: Carlos Garnacho <carlosg gnome org>
Date:   Tue Jun 21 18:23:53 2011 +0200

    window: Use meta_device_pointer_warp()

 src/core/window.c |    8 +++-----
 1 files changed, 3 insertions(+), 5 deletions(-)
---
diff --git a/src/core/window.c b/src/core/window.c
index 395b96f..2a3ba98 100644
--- a/src/core/window.c
+++ b/src/core/window.c
@@ -46,6 +46,7 @@
 #include "input-events.h"
 #include "mutter-enum-types.h"
 #include "core.h"
+#include "device-pointer.h"
 
 #include <X11/Xatom.h>
 #include <X11/Xlibint.h> /* For display->resource_mask */
@@ -9961,11 +9962,8 @@ warp_grab_pointer (MetaWindow          *window,
   meta_window_get_client_root_coords (window,
                                       &grab_info->grab_anchor_window_pos);
 
-  XWarpPointer (display->xdisplay,
-                None,
-                window->screen->xroot,
-                0, 0, 0, 0,
-                *x, *y);
+  meta_device_pointer_warp (META_DEVICE_POINTER (grab_info->grab_pointer),
+                            window->screen, *x, *y);
 
   if (meta_error_trap_pop_with_return (display) != Success)
     {