# HG changeset patch
# User Kenichi Handa <handa@m17n.org>
# Date 942901758 0
# Node ID 229494ea30faa1bb328f277885272987fbb87e8f
# Parent  cf75e5b634ecac5f57abc7dcc84ffd6765194579
(echo_char): Use KEY_DESCRIPTION_SIZE to check free
memory for push_key_description.

diff -r cf75e5b634ec -r 229494ea30fa src/keyboard.c
--- a/src/keyboard.c	Thu Nov 18 05:08:25 1999 +0000
+++ b/src/keyboard.c	Thu Nov 18 05:09:18 1999 +0000
@@ -678,7 +678,8 @@
 
       if (INTEGERP (c))
 	{
-	  if (ptr - current_kboard->echobuf > ECHOBUFSIZE - 6)
+	  if (ptr - current_kboard->echobuf
+	      > ECHOBUFSIZE - KEY_DESCRIPTION_SIZE)
 	    return;
 
 	  ptr = push_key_description (XINT (c), ptr);