# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769037978 0
# Node ID a15923bc982dca41c4a59a549b8b3bdbf9cacf42
# Parent  b393834bab2a6231a851b724509bd81c2cade144
(x_display_box_cursor): Preserve mouse highlight if the old cursor was in it.

diff -r b393834bab2a -r a15923bc982d src/xterm.c
--- a/src/xterm.c	Sun May 15 19:38:50 1994 +0000
+++ b/src/xterm.c	Sun May 15 21:39:38 1994 +0000
@@ -4573,6 +4573,21 @@
 	  || (f->display.x->current_cursor != hollow_box_cursor
 	      && (f != x_highlight_frame))))
     {
+      int mouse_face_here = 0;
+
+      /* If the cursor is in the mouse face area, redisplay that when
+	 we clear the cursor.  */
+      if (f == mouse_face_mouse_frame
+	  &&
+	  (f->phys_cursor_y > mouse_face_beg_row
+	   || (f->phys_cursor_y == mouse_face_beg_row
+	       && f->phys_cursor_x >= mouse_face_beg_col))
+	  &&
+	  (f->phys_cursor_y < mouse_face_end_row
+	   || (f->phys_cursor_y == mouse_face_end_row
+	       && f->phys_cursor_x < mouse_face_end_col)))
+	mouse_face_here = 1;
+
       /* If the font is not as tall as a whole line,
 	 we must explicitly clear the line's whole height.  */
       if (FONT_HEIGHT (f->display.x->font) != f->display.x->line_height)
@@ -4584,7 +4599,9 @@
       /* Erase the cursor by redrawing the character underneath it.  */
       x_draw_single_glyph (f, f->phys_cursor_y, f->phys_cursor_x,
 			   f->phys_cursor_glyph,
-			   current_glyphs->highlight[f->phys_cursor_y]);
+			   (mouse_face_here
+			    ? 3
+			    : current_glyphs->highlight[f->phys_cursor_y]));
       f->phys_cursor_x = -1;
     }