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
This commit is contained in:
Chun-wei Fan 2013-08-14 18:46:15 +08:00
parent 0e01f9cc9c
commit bd59614490

View File

@ -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