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

fix(emacs/lean-mode.el): lean-exec-at-pos don't ask to save

Browse source 
close #752
This commit is contained in:
Soonho Kong 2015-07-29 10:28:18 -07:00
parent 5d159ea664
commit 8a9f774611
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -107,9 +107,6 @@ will be flushed everytime it's executed."
(when process-buffer (when process-buffer
(with-current-buffer process-buffer (with-current-buffer process-buffer
(erase-buffer)))) (erase-buffer))))
;; Ask to save current buffer
(when (buffer-file-name)
(save-some-buffers nil `(lambda () (s-equals? (buffer-file-name) ,(buffer-file-name)))))
;; Start process ;; Start process
(let* ((target-file-name (let* ((target-file-name
(or (or