changeset 7500:6088846b51d3

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 14 May 1994 20:31:52 +0000
parents b3cacdf7bbfa
children 7196bd4f57d4
files src/keyboard.c
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/keyboard.c	Sat May 14 19:49:52 1994 +0000
+++ b/src/keyboard.c	Sat May 14 20:31:52 1994 +0000
@@ -1701,8 +1701,7 @@
 	 && EQ (EVENT_HEAD_KIND (EVENT_HEAD (c)), Qmouse_movement)))
     echo_char (c);
 
-  /* Record this character as part of the current key.
-     Don't record mouse motion; it should never matter.  */
+  /* Record this character as part of the current key.  */
   add_command_key (c);
 
   /* Re-reading in the middle of a command */