summaryrefslogtreecommitdiff
path: root/helm-grep.el
diff options
context:
space:
mode:
authorXu Chunyang <mail@xuchunyang.me>2019-06-11 10:23:54 +0800
committerGitHub <noreply@github.com>2019-06-11 10:23:54 +0800
commit72e9e586ff59813a4136f754a9f974c015b6f930 (patch)
tree1f4d5cd0c58e0320b3ced1d846f4655b269f82cf /helm-grep.el
parent03f56db7c60c312920ac02f2dfafc40f27b44d0e (diff)
Fix type of helm-grep-input-idle-delay
Diffstat (limited to 'helm-grep.el')
-rw-r--r--helm-grep.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/helm-grep.el b/helm-grep.el
index 54750aca..d00ee4c0 100644
--- a/helm-grep.el
+++ b/helm-grep.el
@@ -237,7 +237,7 @@ You probably don't need to use this unless you know what you are doing."
It have a higher value than `helm-input-idle-delay' to avoid
flickering when updating."
:group 'helm-grep
- :type 'integer)
+ :type 'float)
;;; Faces
;;