gdk_display_warp_pointer is in the frontend now

This commit is contained in:
Matthias Clasen
2010-12-17 12:07:38 -05:00
committed by Kristian Rietveld
parent a1a0205dad
commit dadbc63f1e

View File

@ -1897,15 +1897,6 @@ _gdk_windowing_get_device_state (GdkDisplay *display,
gdk_window_quartz_get_device_state_helper (_gdk_root, device, x, y, mask);
}
void
gdk_display_warp_pointer (GdkDisplay *display,
GdkScreen *screen,
gint x,
gint y)
{
CGDisplayMoveCursorToPoint (CGMainDisplayID (), CGPointMake (x, y));
}
/* Returns coordinates relative to the found window. */
GdkWindow *
_gdk_windowing_window_at_pointer (GdkDisplay *display,