# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 1025895119 0
# Node ID 92759818ae6db12c6d929bc8945f5578ab41e7e5
# Parent  fe05a48a78e1a4783428fc08dde13ecdd216d0ce
(read_key_sequence): Set initial_idleness_start_time
correctly.

diff -r fe05a48a78e1 -r 92759818ae6d src/keyboard.c
--- a/src/keyboard.c	Thu Jul 04 22:20:26 2002 +0000
+++ b/src/keyboard.c	Fri Jul 05 18:51:59 2002 +0000
@@ -8375,8 +8375,10 @@
 	     keymap may have changed, so replay the sequence.  */
 	  if (BUFFERP (key))
 	    {
-	      EMACS_TIME initial_idleness_start_time
-		= timer_last_idleness_start_time;
+	      EMACS_TIME initial_idleness_start_time;
+	      EMACS_SET_SECS_USECS (initial_idleness_start_time,
+				    EMACS_SECS (timer_last_idleness_start_time),
+				    EMACS_USECS (timer_last_idleness_start_time));
 
 	      /* Resume idle state, using the same start-time as before.  */
 	      timer_start_idle ();