[gtk+] Fix prototype of gdk_device_win32_warp

[Kalev Lember <klember src gnome org>]

commit 4c2d461286ae9a4c50e2cc4803d3e43b02f18c53
Author: Erik van Pienbroek <epienbro fedoraproject org>
Date:   Sat Jul 13 22:53:24 2013 +0200

    Fix prototype of gdk_device_win32_warp
    
    https://bugzilla.gnome.org/show_bug.cgi?id=704171

 gdk/win32/gdkdevice-win32.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gdk/win32/gdkdevice-win32.c b/gdk/win32/gdkdevice-win32.c
index 8be4d1d..36f0107 100644
--- a/gdk/win32/gdkdevice-win32.c
+++ b/gdk/win32/gdkdevice-win32.c
@@ -41,8 +41,8 @@ static void gdk_device_win32_set_window_cursor (GdkDevice *device,
                                                 GdkCursor *cursor);
 static void gdk_device_win32_warp (GdkDevice *device,
                                    GdkScreen *screen,
-                                   gint       x,
-                                   gint       y);
+                                   gdouble    x,
+                                   gdouble    y);
 static void gdk_device_win32_query_state (GdkDevice        *device,
                                           GdkWindow        *window,
                                           GdkWindow       **root_window,