Add lookup-handlers for idris-mode

2018-08-22 03:34:51 +02:00 · 2018-08-22 03:34:51 +02:00 · c5334f61a3
commit c5334f61a3
parent f80b9bb8c5
1 changed files with 3 additions and 0 deletions
--- a/modules/lang/idris/config.el
+++ b/modules/lang/idris/config.el
@ -3,6 +3,9 @@
 (after! idris-mode
  (add-hook! 'idris-mode-hook 'turn-on-idris-simple-indent)
  (set-repl-handler! 'idris-mode 'idris-pop-to-repl)
+  (set-lookup-handlers! 'idris-mode
+    :documentation #'idris-docs-at-point
+    :file #'idris-load-file)
  (map! :map idris-mode-map
        :localleader
        :n "r" #'idris-load-file