Make echo-keystrokes `number'.

This commit is contained in:
Dave Love 2000-02-18 21:15:05 +00:00
parent 2dc95ddd63
commit ac1b1728b5

View file

@ -118,7 +118,7 @@
(auto-save-interval auto-save integer)
(auto-save-timeout auto-save (choice (const :tag "off" nil)
(integer :format "%v")))
(echo-keystrokes minibuffer integer)
(echo-keystrokes minibuffer number)
(polling-period keyboard integer)
(double-click-time mouse (restricted-sexp
:match-alternatives (integerp 'nil 't)))