[gtk+] Bug 704216: Fix prototype for gdk_quartz_device_core_warp.

[John Ralls <jralls src gnome org>]

commit 947385ebae240dcafe1bb70b6a3f3678459caf15
Author: William Hua <william attente ca>
Date:   Sun Jul 14 18:07:05 2013 -0400

    Bug 704216: Fix prototype for gdk_quartz_device_core_warp.

 gdk/quartz/gdkdevice-core-quartz.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gdk/quartz/gdkdevice-core-quartz.c b/gdk/quartz/gdkdevice-core-quartz.c
index b286620..6fc17aa 100644
--- a/gdk/quartz/gdkdevice-core-quartz.c
+++ b/gdk/quartz/gdkdevice-core-quartz.c
@@ -52,8 +52,8 @@ static void gdk_quartz_device_core_set_window_cursor (GdkDevice *device,
                                                       GdkCursor *cursor);
 static void gdk_quartz_device_core_warp (GdkDevice *device,
                                          GdkScreen *screen,
-                                         gint       x,
-                                         gint       y);
+                                         gdouble    x,
+                                         gdouble    y);
 static void gdk_quartz_device_core_query_state (GdkDevice        *device,
                                                 GdkWindow        *window,
                                                 GdkWindow       **root_window,