[gnome-shell] Overview: Update warping code to new gdk api

[Adel Gadllah <agadllah src gnome org>]

commit 0052657a2252dbb4519fc79392a20888c2548d2b
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Wed Jan 5 23:34:27 2011 +0100

    Overview: Update warping code to new gdk api

 js/ui/overview.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/overview.js b/js/ui/overview.js
index bfabcb3..1d6e6ab 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -220,9 +220,9 @@ Overview.prototype = {
         let display = Gdk.Display.get_default();
         let deviceManager = display.get_device_manager();
         let pointer = deviceManager.get_client_pointer();
-        let [screen, pointerX, pointerY] = display.get_device_state(pointer);
+        let [screen, pointerX, pointerY] = pointer.get_position();
 
-        display.warp_device(pointer, screen, pointerX, pointerY);
+        pointer.warp(screen, pointerX, pointerY);
     },
 
     _onDragMotion: function(dragEvent) {