[gtksourceview] gdk_window_get_pointer is deprecated

[Ignacio Casal Quinteiro <icq src gnome org>]

commit f01b6d3c5cc2b93a04f18f937163607bfd3e166a
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu Dec 8 16:01:15 2011 +0100

    gdk_window_get_pointer is deprecated

 gtksourceview/gtksourcegutter.c |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/gtksourceview/gtksourcegutter.c b/gtksourceview/gtksourcegutter.c
index 5f89866..5ce4b49 100644
--- a/gtksourceview/gtksourcegutter.c
+++ b/gtksourceview/gtksourcegutter.c
@@ -943,6 +943,8 @@ on_view_draw (GtkSourceView   *view,
 	gint idx;
 	GtkStyleContext *style_context;
 	GdkRGBA fg_color;
+	GdkDeviceManager *device_manager;
+	GdkDevice *pointer;
 
 	window = gtk_source_gutter_get_window (gutter);
 
@@ -964,7 +966,9 @@ on_view_draw (GtkSourceView   *view,
 
 	buffer = gtk_text_view_get_buffer (text_view);
 
-	gdk_window_get_pointer (window, &x, &y, NULL);
+	device_manager = gdk_display_get_device_manager (gdk_window_get_display (window));
+	pointer = gdk_device_manager_get_client_pointer (device_manager);
+	gdk_window_get_device_position (window, pointer, &x, &y, NULL);
 
 	y1 = clip.y;
 	y2 = y1 + clip.height;