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

feat(emacs): assume lua-mode and mmm-mode are available

Browse source
This commit is contained in:
Leonardo de Moura 2015-01-30 11:32:49 -08:00
parent d0ce4cf62f
commit a57251913a
2 changed files with 20 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/lean-mmm-lua.el
View file

@ -4,8 +4,6 @@
;; Author: Soonho Kong
;;
(when (and (package-installed-p 'mmm-mode)
(package-installed-p 'lua-mode))
(require 'mmm-mode)
(require 'mmm-auto)
(require 'lua-mode)
@ -24,6 +22,6 @@
(mmm-add-mode-ext-class 'lean-mode "\\.lean" 'lean-lua)))
(defun lean-mmm-lua-hook ()
(setq-local mmm-parse-when-idle t)
(setq-local mmm-idle-timer-delay 0.5)))
(setq-local mmm-idle-timer-delay 0.5))
(provide 'lean-mmm-lua)

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

@ -176,9 +176,7 @@ enabled and disabled respectively.")
(when lean-company-use
(company-lean-hook))
;; mmm-lua-mode
(when (and (package-installed-p 'mmm-mode)
(package-installed-p 'lua-mode))
(lean-mmm-lua-hook)))
(lean-mmm-lua-hook))
;; Automode List
;;;###autoload