# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 963414541 0
# Node ID 1b0331a7c72440c6896e3c81705da3ef570019e1
# Parent  84d54b049d67e7ecc7aa09eddefa1c2a46a35b18
(try_window_reusing_current_matrix, try_window_id):
Before scrolling, turn off a mouse-highlight in the window
being scrolled.

diff -r 84d54b049d67 -r 1b0331a7c724 src/xdisp.c
--- a/src/xdisp.c	Wed Jul 12 11:55:03 2000 +0000
+++ b/src/xdisp.c	Wed Jul 12 15:09:01 2000 +0000
@@ -9615,8 +9615,9 @@
 	    {
 	      update_begin (f);
 	      rif->update_window_begin_hook (w);
+	      rif->clear_mouse_face (w);
 	      rif->scroll_run_hook (w, &run);
-	      rif->update_window_end_hook (w, 0);
+	      rif->update_window_end_hook (w, 0, 0);
 	      update_end (f);
 	    }
 
@@ -9783,8 +9784,9 @@
 	  struct frame *f = XFRAME (WINDOW_FRAME (w));
 	  update_begin (f);
 	  rif->update_window_begin_hook (w);
+	  rif->clear_mouse_face (w);
 	  rif->scroll_run_hook (w, &run);
-	  rif->update_window_end_hook (w, 0);
+	  rif->update_window_end_hook (w, 0, 0);
 	  update_end (f);
 	}
 
@@ -10456,8 +10458,9 @@
       if (FRAME_WINDOW_P (f))
 	{
 	  rif->update_window_begin_hook (w);
+	  rif->clear_mouse_face (w);
 	  rif->scroll_run_hook (w, &run);
-	  rif->update_window_end_hook (w, 0);
+	  rif->update_window_end_hook (w, 0, 0);
 	}
       else
 	{