[gtk+] gdk/win32/gdkdevice-virtual.c: Various fixes

[Chun-wei Fan <fanchunwei src gnome org>]

commit bd596144907e423ab842f7240067ab6f99eb35d4
Author: Chun-wei Fan <fanchunwei src gnome org>
Date:   Wed Aug 14 18:46:15 2013 +0800

    gdk/win32/gdkdevice-virtual.c: Various fixes
    
    ...for the gdk_cursor_new_from_surface work (commit b2113b73) where the
    types of some parameters were changed, and also to silence a critical
    GDK_IS_DEVICE when a menu item is selected (courtesy of LE GARREC Vincent
    from bug 696756).
    
    https://bugzilla.gnome.org/show_bug.cgi?id=705980

 gdk/win32/gdkdevice-virtual.c |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/gdk/win32/gdkdevice-virtual.c b/gdk/win32/gdkdevice-virtual.c
index 8a77ebf..f93c28a 100644
--- a/gdk/win32/gdkdevice-virtual.c
+++ b/gdk/win32/gdkdevice-virtual.c
@@ -41,8 +41,8 @@ static void gdk_device_virtual_set_window_cursor (GdkDevice *device,
                                                  GdkCursor *cursor);
 static void gdk_device_virtual_warp (GdkDevice *device,
                                     GdkScreen *screen,
-                                    gint       x,
-                                    gint       y);
+                                    gdouble   x,
+                                    gdouble   y);
 static void gdk_device_virtual_query_state (GdkDevice        *device,
                                            GdkWindow        *window,
                                            GdkWindow       **root_window,
@@ -234,8 +234,8 @@ gdk_device_virtual_set_window_cursor (GdkDevice *device,
 static void
 gdk_device_virtual_warp (GdkDevice *device,
                         GdkScreen *screen,
-                        gint       x,
-                        gint       y)
+                        gdouble   x,
+                        gdouble   y)
 {
   SetCursorPos (x - _gdk_offset_x, y - _gdk_offset_y);
 }
@@ -330,7 +330,7 @@ gdk_device_virtual_ungrab (GdkDevice *device,
       ReleaseCapture ();
     }
 
-  _gdk_display_device_grab_update (display, device, NULL, 0);
+  _gdk_display_device_grab_update (display, device, device, 0);
 }
 
 static void