1
0
mirror of https://git.savannah.gnu.org/git/emacs.git synced 2025-01-20 18:17:20 +00:00

(x_display_box_cursor): Preserve mouse highlight if the old cursor was in it.

This commit is contained in:
Richard M. Stallman 1994-05-15 21:39:38 +00:00
parent 3d4ad6e0a3
commit 79cf745601

View File

@ -4573,6 +4573,21 @@ x_display_box_cursor (f, on)
|| (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 @@ x_display_box_cursor (f, on)
/* 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;
}