diff options
author | Xu Chunyang <mail@xuchunyang.me> | 2019-06-11 10:23:54 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-11 10:23:54 +0800 |
commit | 72e9e586ff59813a4136f754a9f974c015b6f930 (patch) | |
tree | 1f4d5cd0c58e0320b3ced1d846f4655b269f82cf /helm-grep.el | |
parent | 03f56db7c60c312920ac02f2dfafc40f27b44d0e (diff) |
Fix type of helm-grep-input-idle-delay
Diffstat (limited to 'helm-grep.el')
-rw-r--r-- | helm-grep.el | 2 |
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 ;; |