(x_set_mouse_pixel_position): New function.

diff --git a/src/xterm.c b/src/xterm.c
index 7177d826a8f8add427fa50f8fb0e45f8499375cb..1fdeab0b1ccf6d9eb65c3466220e8c12e7d85259 100644 (file)
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -5258,16 +5258,13 @@ x_set_resize_hint (f)
 \f
 /* Mouse warping, focus shifting, raising and lowering.  */
 
+void
 x_set_mouse_position (f, x, y)
      struct frame *f;
      int x, y;
 {
   int pix_x, pix_y;
 
-#if 0 /* Let the user ask for this if he wants it.  */
-  x_raise_frame (f);
-#endif
-
   pix_x = CHAR_TO_PIXEL_COL (f, x) + FONT_WIDTH  (f->display.x->font) / 2;
   pix_y = CHAR_TO_PIXEL_ROW (f, y) + f->display.x->line_height / 2;
 
@@ -5283,6 +5280,19 @@ x_set_mouse_position (f, x, y)
   UNBLOCK_INPUT;
 }
 
+/* Move the mouse to position pixel PIX_X, PIX_Y relative to frame F.  */
+
+void
+x_set_mouse_pixel_position (f, pix_x, pix_y)
+     struct frame *f;
+     int pix_x, pix_y;
+{
+  BLOCK_INPUT;
+
+  XWarpMousePointer (FRAME_X_WINDOW (f), pix_x, pix_y);
+  UNBLOCK_INPUT;
+}
+
 #ifdef HAVE_X11
 x_focus_on_frame (f)
      struct frame *f;