From d96ff261f1b358bbb2c2fe757e31a24facc7246e Mon Sep 17 00:00:00 2001 From: Hideaki Kawai Date: Wed, 6 May 2020 14:44:36 +0900 Subject: [PATCH] [idris] Add to spacemacs-indent-sensitive-modes --- layers/+lang/idris/packages.el | 3 +++ 1 file changed, 3 insertions(+) diff --git a/layers/+lang/idris/packages.el b/layers/+lang/idris/packages.el index 6f113539d..662db79c6 100644 --- a/layers/+lang/idris/packages.el +++ b/layers/+lang/idris/packages.el @@ -107,6 +107,9 @@ "ss" 'idris-pop-to-repl "sq" 'idris-quit))) + ;; To suppress auto-indentation + (add-to-list 'spacemacs-indent-sensitive-modes 'idris-mode) + ;; To bind TAB to the indentation command for all Idris buffers (add-hook 'idris-mode-hook 'turn-on-idris-simple-indent)