[gtk+] gdk_display_warp_pointer is in the frontend now

[Kristian Rietveld <kristian src gnome org>]

commit dadbc63f1ea70e75db4ddb80e0eb4347faf96780
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Dec 17 12:07:38 2010 -0500

    gdk_display_warp_pointer is in the frontend now

 gdk/quartz/gdkwindow-quartz.c |    9 ---------
 1 files changed, 0 insertions(+), 9 deletions(-)
---
diff --git a/gdk/quartz/gdkwindow-quartz.c b/gdk/quartz/gdkwindow-quartz.c
index 4fbef44..6c12ab2 100644
--- a/gdk/quartz/gdkwindow-quartz.c
+++ b/gdk/quartz/gdkwindow-quartz.c
@@ -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,