feat(emacs/lean-mode.el): use lean-info-mode in lean-exec-at-pos

2015-07-27 20:26:28 -07:00 · 2015-07-27 20:26:28 -07:00 · e61a61da8b
commit e61a61da8b
parent 91f83835bb
1 changed files with 1 additions and 0 deletions
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@ -74,6 +74,7 @@
  (when (eq (process-status process) 'exit)
    (let ((b (process-buffer process)))
      (with-current-buffer b
+        (lean-info-mode)
        (insert-string (lean-exec-at-pos-extract-body
                        g-lean-exec-at-pos-buf)))
      (display-buffer b)