# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 842855470 0
# Node ID 40552cb9a45db460626e25b9e0922052c7eae0ec
# Parent  e3a834653117d50cc3f298715faee5907e432f44
(note_mouse_highlight): Test last_overlay_modified field.

diff -r e3a834653117 -r 40552cb9a45d src/w32term.c
--- a/src/w32term.c	Mon Sep 16 06:29:40 1996 +0000
+++ b/src/w32term.c	Mon Sep 16 06:31:10 1996 +0000
@@ -1350,7 +1350,8 @@
   if (WINDOWP (window) && portion == 0 && row >= 0 && column >= 0
       && row < FRAME_HEIGHT (f) && column < FRAME_WIDTH (f)
       && EQ (w->window_end_valid, w->buffer)
-      && w->last_modified == BUF_MODIFF (XBUFFER (w->buffer)))
+      && w->last_modified == BUF_MODIFF (XBUFFER (w->buffer))
+      && w->last_overlay_modified == BUF_OVERLAY_MODIFF (XBUFFER (w->buffer)))
     {
       int *ptr = FRAME_CURRENT_GLYPHS (f)->charstarts[row];
       int i, pos;
diff -r e3a834653117 -r 40552cb9a45d src/xterm.c
--- a/src/xterm.c	Mon Sep 16 06:29:40 1996 +0000
+++ b/src/xterm.c	Mon Sep 16 06:31:10 1996 +0000
@@ -1913,7 +1913,8 @@
   if (WINDOWP (window) && portion == 0 && row >= 0 && column >= 0
       && row < FRAME_HEIGHT (f) && column < FRAME_WIDTH (f)
       && EQ (w->window_end_valid, w->buffer)
-      && w->last_modified == BUF_MODIFF (XBUFFER (w->buffer)))
+      && w->last_modified == BUF_MODIFF (XBUFFER (w->buffer))
+      && w->last_overlay_modified == BUF_OVERLAY_MODIFF (XBUFFER (w->buffer)))
     {
       int *ptr = FRAME_CURRENT_GLYPHS (f)->charstarts[row];
       int i, pos;