From 08f5eef3ce05dc271c9a260a174993471cdd35d5 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Tue, 10 Sep 2024 17:05:29 -0400 Subject: [PATCH] fix(idris): add ".ibc" to completion-ignored-extensions --- modules/lang/idris/config.el | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el index a897155ef..a7e63eee1 100644 --- a/modules/lang/idris/config.el +++ b/modules/lang/idris/config.el @@ -1,6 +1,7 @@ ;;; lang/idris/config.el -*- lexical-binding: t; -*- (after! idris-mode + (add-to-list 'completion-ignored-extensions ".ibc") (add-hook 'idris-mode-hook #'turn-on-idris-simple-indent) (when (modulep! +lsp) (add-hook 'idris-mode-hook #'lsp! 'append))