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

fix(emacs/lean-mode): add 'display-buffer' at the end of lean-exec-at-pos

Browse source
This commit is contained in:
Soonho Kong 2015-03-25 08:35:02 -04:00
parent 9119c3f9fb
commit ca81e9bee2
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -100,7 +100,8 @@ will be flushed everytime it's executed."
`(,target-file-name))) `(,target-file-name)))
(p (apply 'start-process process-args))) (p (apply 'start-process process-args)))
(set-process-coding-system p 'utf-8 'utf-8) (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 () (defun lean-std-exe ()
(interactive) (interactive)