ENH increase dhall type check timeout

2022-12-21 22:51:13 -05:00 · 2022-12-21 22:51:13 -05:00 · 51c6b0bd98
parent 6c57f3c661
commit 51c6b0bd98
1 changed files with 3 additions and 1 deletions
--- a/etc/conf.org
+++ b/etc/conf.org
@ -1134,7 +1134,9 @@ Dhall is a functional/typed configuration language (bout time).
 #+begin_src emacs-lisp
 (use-package dhall-mode
  :straight t
-  :mode "\\.dhall\\'")
+  :mode "\\.dhall\\'"
+  :config
+  (setq dhall-type-check-inactivity-timeout 5))

 (defun nd/dhall-toggle-type-check ()
  "Turn dhall type checking on/off."