From e03555ee381ea9f4b0e1187738ff1df9174a6a5b Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Mon, 22 Jul 2024 13:29:20 -0400 Subject: [PATCH] tweak(idris): disable Idris LSP by default --- config.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.org b/config.org index 2957ddf..4ed0747 100644 --- a/config.org +++ b/config.org @@ -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 ) - (add-hook! idris-mode :append #'lsp!) + ;; (add-hook! idris-mode :append #'lsp!) (set-repl-handler! 'idris-mode (cmd! (idris-repl-buffer))) (set-lookup-handlers! 'idris-mode