From f25f9a8fab8cdd68e6abe3a526d41b94086f82a5 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 15 Sep 2014 00:03:21 -0700
Subject: [PATCH] fix(emacs/lean-mmm-lua): add 'insert' for mmm-insert-region
 (C-c % l)

Related issue: #74, https://github.com/flycheck/flycheck/issues/349, https://github.com/purcell/mmm-mode/issues/32
---
 src/emacs/lean-mmm-lua.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/emacs/lean-mmm-lua.el b/src/emacs/lean-mmm-lua.el
index 73970363d..c79531fbc 100644
--- a/src/emacs/lean-mmm-lua.el
+++ b/src/emacs/lean-mmm-lua.el
@@ -9,7 +9,7 @@
   (require 'mmm-mode)
   (require 'mmm-auto)
   (require 'lua-mode)
-  (setq mmm-global-mode 'buffers-with-submode-classes)
+  (setq mmm-global-mode 'maybe)
   (setq mmm-submode-decoration-level 0)
   (eval-after-load 'mmm-vars
     '(progn
@@ -18,6 +18,7 @@
         '((lua-inline
            :submode lua-mode
            :face mmm-code-submode-face
+           :insert ((?l lean-tag nil @ "(*\n" @ " " _ "" @ "\n*)" @))
            :front "[(][*]"
            :back "[*][)]")))
        (mmm-add-mode-ext-class 'lean-mode "\\.lean" 'lean-lua))))