emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

tweak(idris): add popup rules

Browse source
This commit is contained in:
Henrik Lissner 2024-09-10 17:04:20 -04:00
parent e02d3c79a9
commit 0ee89cbb5c
No known key found for this signature in database
GPG key ID: B60957CA074D39A3
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
modules/lang/idris/config.el
View file

@ -4,7 +4,8 @@
(add-hook 'idris-mode-hook #'turn-on-idris-simple-indent)
(when (modulep! +lsp)
(add-hook 'idris-mode-hook #'lsp! 'append))
(set-repl-handler! 'idris-mode 'idris-pop-to-repl)
(set-popup-rule! "^\\*idris-\\(notes\\|holes\\|info\\)" :select nil :ttl nil)
(set-repl-handler! 'idris-mode #'idris-pop-to-repl)
(set-lookup-handlers! 'idris-mode
:documentation #'idris-docs-at-point)
(map! :localleader