changeset 16209:40552cb9a45d

(note_mouse_highlight): Test last_overlay_modified field.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 Sep 1996 06:31:10 +0000
parents e3a834653117
children 4c03f0e575d7
files src/w32term.c src/xterm.c
diffstat 2 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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;
--- 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;