# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 988209363 0
# Node ID a5f0e09ecc678f5d05a77dd39b25960d73ec58da
# Parent  f8a908ab7187708f7e4c52def86a45a3d9a6cec8
(command_loop_1): Redo change of 2001-03-12.

diff -r f8a908ab7187 -r a5f0e09ecc67 src/keyboard.c
--- a/src/keyboard.c	Wed Apr 25 14:15:21 2001 +0000
+++ b/src/keyboard.c	Wed Apr 25 14:36:03 2001 +0000
@@ -1479,6 +1479,10 @@
          this variable differently.  */
       Vdisable_point_adjustment = Qnil;
 
+      /* Process filters and timers may have messed with deactivate-mark.
+	 reset it before we execute the command. */
+      Vdeactivate_mark = Qnil;
+
       /* Execute the command.  */
 
       Vthis_command = cmd;