# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 842752910 0
# Node ID cb91edbbe173bf65d9cb854b0604669e0c20730c
# Parent  e15e4bdcb8ccdd426e84fac59c828fd25256be07
(command_loop_1): Test last_overlay_modified
along with last_modified.

diff -r e15e4bdcb8cc -r cb91edbbe173 src/keyboard.c
--- 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