michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-mode): disable flycheck-lua inside of lean-mode

Browse source 
Related issue: #74
This commit is contained in:
Soonho Kong 2014-09-15 10:11:39 -07:00
parent c3d39938ac
commit f94e28ce39
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/emacs/lean-mode.el
View file

@ -148,6 +148,7 @@ enabled and disabled respectively.")
;; Flycheck ;; Flycheck
(when lean-flycheck-use (when lean-flycheck-use
(lean-flycheck-turn-on) (lean-flycheck-turn-on)
(setq-local flycheck-disabled-checkers '(lua))
(add-hook 'flycheck-after-syntax-check-hook 'lean-flycheck-delete-temporaries nil t)) (add-hook 'flycheck-after-syntax-check-hook 'lean-flycheck-delete-temporaries nil t))
;; Draw a vertical line for rule-column ;; Draw a vertical line for rule-column
(when (and lean-rule-column (when (and lean-rule-column