echo-keystrokes change.

diff --git a/lispref/display.texi b/lispref/display.texi
index 5baee30ebb0b488ae3bae412112c7d3c3262c6b3..03b8188588fcfd4b3e1ef87dcd06db81722ca9a2 100644 (file)
--- a/lispref/display.texi
+++ b/lispref/display.texi
@@ -281,7 +281,8 @@ how to display a message and prevent it from being logged:
 
 @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