changeset 16196:cb91edbbe173

(command_loop_1): Test last_overlay_modified along with last_modified.
author Richard M. Stallman <rms@gnu.org>
date Sun, 15 Sep 1996 02:01:50 +0000
parents e15e4bdcb8cc
children 952b01cdfa56
files src/keyboard.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/keyboard.c	Sun Sep 15 01:58:26 1996 +0000
+++ b/src/keyboard.c	Sun Sep 15 02:01:50 1996 +0000
@@ -1268,6 +1268,8 @@
 		       : (lose >= 0x20 && lose < 0x7f))
 		      && (XFASTINT (XWINDOW (selected_window)->last_modified)
 			  >= MODIFF)
+		      && (XFASTINT (XWINDOW (selected_window)->last_overlay_modified)
+			  >= OVERLAY_MODIFF)
 		      && (XFASTINT (XWINDOW (selected_window)->last_point)
 			  == PT - 1)
 		      && !windows_or_buffers_changed
@@ -1292,6 +1294,8 @@
 		       : (lose >= 0x20 && lose < 0x7f))
 		      && (XFASTINT (XWINDOW (selected_window)->last_modified)
 			  >= MODIFF)
+		      && (XFASTINT (XWINDOW (selected_window)->last_overlay_modified)
+			  >= OVERLAY_MODIFF)
 		      && (XFASTINT (XWINDOW (selected_window)->last_point)
 			  == PT + 1)
 		      && !windows_or_buffers_changed
@@ -1321,6 +1325,8 @@
 		    }
 		  lose = ((XFASTINT (XWINDOW (selected_window)->last_modified)
 			   < MODIFF)
+			  || (XFASTINT (XWINDOW (selected_window)->last_overlay_modified)
+			      < OVERLAY_MODIFF)
 			  || (XFASTINT (XWINDOW (selected_window)->last_point)
 			      != PT)
 			  || MODIFF <= SAVE_MODIFF