From f94e28ce39592d62ecedda39ea5aafc9e6cef441 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 15 Sep 2014 10:11:39 -0700 Subject: [PATCH] fix(emacs/lean-mode): disable flycheck-lua inside of lean-mode Related issue: #74 --- src/emacs/lean-mode.el | 1 + 1 file changed, 1 insertion(+) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index b9b3c65040..491571da4b 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -148,6 +148,7 @@ enabled and disabled respectively.") ;; Flycheck (when lean-flycheck-use (lean-flycheck-turn-on) + (setq-local flycheck-disabled-checkers '(lua)) (add-hook 'flycheck-after-syntax-check-hook 'lean-flycheck-delete-temporaries nil t)) ;; Draw a vertical line for rule-column (when (and lean-rule-column