From 8a9f774611a6920d9341d03b0cc2d68955571328 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 29 Jul 2015 10:28:18 -0700 Subject: [PATCH] fix(emacs/lean-mode.el): lean-exec-at-pos don't ask to save close #752 --- src/emacs/lean-mode.el | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index 90ea8f2bd..f73329112 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -107,9 +107,6 @@ will be flushed everytime it's executed." (when process-buffer (with-current-buffer process-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 (let* ((target-file-name (or