[libwnck] Pager: use GdkDeviceManager and gdk_window_get_device_position

[Marco Trevisan <marcotrevi src gnome org>]

commit 9013d856a291ac3cc0a941af2a84658e3ad6f1a0
Author: Marco Trevisan (TreviÃo) <mail 3v1n0 net>
Date:   Tue Feb 5 21:17:50 2013 +0100

    Pager: use GdkDeviceManager and gdk_window_get_device_position

 libwnck/pager.c |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/libwnck/pager.c b/libwnck/pager.c
index 81add41..7ef6401 100644
--- a/libwnck/pager.c
+++ b/libwnck/pager.c
@@ -1974,12 +1974,16 @@ wnck_pager_motion (GtkWidget        *widget,
 {
   WnckPager *pager;
   GdkWindow *window;
+  GdkDeviceManager *dev_manager;
+  GdkDevice *pointer;
   int x, y;
 
   pager = WNCK_PAGER (widget);
 
+  dev_manager = gdk_display_get_device_manager (gtk_widget_get_display (widget));
   window = gtk_widget_get_window (widget);
-  gdk_window_get_pointer (window, &x, &y, NULL);
+  pointer = gdk_device_manager_get_client_pointer (dev_manager);
+  gdk_window_get_device_position (window, pointer, &x, &y, NULL);
 
   if (!pager->priv->dragging &&
       pager->priv->drag_window != NULL &&