From 0052657a2252dbb4519fc79392a20888c2548d2b Mon Sep 17 00:00:00 2001
From: Adel Gadllah <adel.gadllah@gmail.com>
Date: Wed, 5 Jan 2011 23:34:27 +0100
Subject: [PATCH] Overview: Update warping code to new gdk api

---
 js/ui/overview.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/ui/overview.js b/js/ui/overview.js
index bfabcb3d2..1d6e6ab50 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) {