toki/doom-config
1
0
Fork 0
Code Issues Pull requests Activity

tweak(idris): disable Idris LSP by default

Browse source
This commit is contained in:
Kiana Sheibani 2024-07-22 13:29:20 -04:00
parent 6eee16462e
commit e03555ee38
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
config.org
View file

@ -3844,7 +3844,7 @@ The Doom module is very outdated, so I'll be overriding it.
idris-repl-show-repl-on-startup nil ; Don't show repl on startup idris-repl-show-repl-on-startup nil ; Don't show repl on startup
) )
(add-hook! idris-mode :append #'lsp!) ;; (add-hook! idris-mode :append #'lsp!)
(set-repl-handler! 'idris-mode (cmd! (idris-repl-buffer))) (set-repl-handler! 'idris-mode (cmd! (idris-repl-buffer)))
(set-lookup-handlers! 'idris-mode (set-lookup-handlers! 'idris-mode