Overview: Update warping code to new gdk api

This commit is contained in:
Adel Gadllah 2011-01-05 23:34:27 +01:00
parent f60b995236
commit 0052657a22

View File

@ -220,9 +220,9 @@ Overview.prototype = {
let display = Gdk.Display.get_default(); let display = Gdk.Display.get_default();
let deviceManager = display.get_device_manager(); let deviceManager = display.get_device_manager();
let pointer = deviceManager.get_client_pointer(); 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) { _onDragMotion: function(dragEvent) {