# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 952034916 0
# Node ID b10a9716fb385c01316c7f84f2a713be63950799
# Parent  9c3d68e8a089f6c99f8e2eb61aa776d54478eac9
echo-keystrokes change.

diff -r 9c3d68e8a089 -r b10a9716fb38 lispref/display.texi
--- a/lispref/display.texi	Thu Mar 02 22:05:43 2000 +0000
+++ b/lispref/display.texi	Thu Mar 02 22:08:36 2000 +0000
@@ -281,7 +281,8 @@
 
 @defvar echo-keystrokes
 This variable determines how much time should elapse before command
-characters echo.  Its value must be an integer, which specifies the
+characters echo.  Its value must be an integer or floating point number,
+which specifies the
 number of seconds to wait before echoing.  If the user types a prefix
 key (such as @kbd{C-x}) and then delays this many seconds before
 continuing, the prefix key is echoed in the echo area.  (Once echoing