# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 963949384 0
# Node ID faf4e303bab72d4e97198a255ce691534e1f5612
# Parent  7a694e8efd120f72247eeeea810505ab0b6818d0
(update_text_area): Write the whole row if it
has mouse-face in it.

diff -r 7a694e8efd12 -r faf4e303bab7 src/dispnew.c
--- a/src/dispnew.c	Tue Jul 18 19:07:15 2000 +0000
+++ b/src/dispnew.c	Tue Jul 18 19:43:04 2000 +0000
@@ -3938,6 +3938,7 @@
       || desired_row->phys_height != current_row->phys_height
       || desired_row->visible_height != current_row->visible_height
       || current_row->overlapped_p
+      || current_row->mouse_face_p
       || current_row->x != desired_row->x)
     {
       rif->cursor_to (vpos, 0, desired_row->y, desired_row->x);