From ca81e9bee254727bfa7171140baf6b67cb1449c1 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 25 Mar 2015 08:35:02 -0400 Subject: [PATCH] fix(emacs/lean-mode): add 'display-buffer' at the end of lean-exec-at-pos --- src/emacs/lean-mode.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index 5907e2d9e..c6787eff4 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -100,7 +100,8 @@ will be flushed everytime it's executed." `(,target-file-name))) (p (apply 'start-process process-args))) (set-process-coding-system p 'utf-8 'utf-8) - (set-process-query-on-exit-flag p nil))) + (set-process-query-on-exit-flag p nil) + (display-buffer process-buffer-name))) (defun lean-std-exe () (interactive)