# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 841808320 0
# Node ID f55ff5de378fd232fe9e4d5247e2baf5b95aa872
# Parent  4962e89ec8effee204a12db0168f57bf54abdd5b
(note_mouse_highlight): Pass POS argument to fast_find_position as int.

diff -r 4962e89ec8ef -r f55ff5de378f src/xterm.c
--- a/src/xterm.c	Wed Sep 04 03:35:53 1996 +0000
+++ b/src/xterm.c	Wed Sep 04 03:38:40 1996 +0000
@@ -1996,11 +1996,11 @@
 	      before = Foverlay_start (overlay);
 	      after = Foverlay_end (overlay);
 	      /* Record this as the current active region.  */
-	      fast_find_position (window, before,
+	      fast_find_position (window, XFASTINT (before),
 				  &FRAME_X_DISPLAY_INFO (f)->mouse_face_beg_col,
 				  &FRAME_X_DISPLAY_INFO (f)->mouse_face_beg_row);
 	      FRAME_X_DISPLAY_INFO (f)->mouse_face_past_end
-		= !fast_find_position (window, after,
+		= !fast_find_position (window, XFASTINT (after),
 				       &FRAME_X_DISPLAY_INFO (f)->mouse_face_end_col,
 				       &FRAME_X_DISPLAY_INFO (f)->mouse_face_end_row);
 	      FRAME_X_DISPLAY_INFO (f)->mouse_face_window = window;
@@ -2030,11 +2030,11 @@
 		= Fnext_single_property_change (position, Qmouse_face,
 						w->buffer, end);
 	      /* Record this as the current active region.  */
-	      fast_find_position (window, before,
+	      fast_find_position (window, XFASTINT (before),
 				  &FRAME_X_DISPLAY_INFO (f)->mouse_face_beg_col,
 				  &FRAME_X_DISPLAY_INFO (f)->mouse_face_beg_row);
 	      FRAME_X_DISPLAY_INFO (f)->mouse_face_past_end
-		= !fast_find_position (window, after,
+		= !fast_find_position (window, XFASTINT (after),
 				       &FRAME_X_DISPLAY_INFO (f)->mouse_face_end_col,
 				       &FRAME_X_DISPLAY_INFO (f)->mouse_face_end_row);
 	      FRAME_X_DISPLAY_INFO (f)->mouse_face_window = window;