From c5334f61a31dedf231f636cb6e40f35363cc7d71 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <accounts@v0.io>
Date: Wed, 22 Aug 2018 03:34:51 +0200
Subject: [PATCH] Add lookup-handlers for idris-mode

---
 modules/lang/idris/config.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el
index 3cf0b0594..2f5b5b8cb 100644
--- 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