[idris] Add to spacemacs-indent-sensitive-modes

2020-05-06 14:44:36 +09:00 · 2020-05-06 14:44:36 +09:00 · d96ff261f1
parent 57b1ae7880
commit d96ff261f1
1 changed files with 3 additions and 0 deletions
--- 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)