# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 963414650 0
# Node ID b90768fb8580202e0a0bd0b28f8465c6ab796786
# Parent  8be2bf27e9adf27f37188753f1f806c8b5df31be
(struct redisplay_interface): Add parameter
MOUSE_FACE_OVERWRITTEN_P to update_window_end_hook function.
(clear_mouse_face): New function pointer member.

diff -r 8be2bf27e9ad -r b90768fb8580 src/dispextern.h
--- a/src/dispextern.h	Wed Jul 12 15:10:30 2000 +0000
+++ b/src/dispextern.h	Wed Jul 12 15:10:50 2000 +0000
@@ -1862,8 +1862,12 @@
   void (*update_window_begin_hook) P_ ((struct window *w));
 
   /* Function to call after window W has been updated in window-based
-     redisplay.  CURSOR_ON_P non-zero means switch cursor on.  */
-  void (*update_window_end_hook) P_ ((struct window *w, int cursor_on_p));
+     redisplay.  CURSOR_ON_P non-zero means switch cursor on.
+     MOUSE_FACE_OVERWRITTEN_P non-zero means that some lines in W
+     that contained glyphs in mouse-face were overwritten, so we
+     have to update the mouse hightlight.  */
+  void (*update_window_end_hook) P_ ((struct window *w, int cursor_on_p,
+				      int mouse_face_overwritten_p));
   
   /* Move cursor to row/column position VPOS/HPOS, pixel coordinates
      Y/X. HPOS/VPOS are window-relative row and column numbers and X/Y
@@ -1873,6 +1877,9 @@
   /* Flush the display of frame F.  For X, this is XFlush.  */
   void (*flush_display) P_ ((struct frame *f));
 
+  /* Clear the mouse hightlight in windwo W, if there is any.  */
+  void (*clear_mouse_face) P_ ((struct window *w));
+
   /* Set *LEFT and *RIGHT to the left and right overhang of GLYPH on
      frame F.  */
   void (*get_glyph_overhangs) P_ ((struct glyph *glyph, struct frame *f,