From 7770e87f693500417913e5b17fbc498b919555ea Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Fri, 6 Jan 2017 19:48:29 +0100 Subject: [PATCH] fix(emacs/lean-server): disable undo and hide process buffers --- src/emacs/lean-server.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index a27df11fce..24488042c6 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -93,7 +93,7 @@ (proc (if (fboundp 'make-process) (make-process ;; emacs >= 25 lets us redirect stderr :name "lean-server" - :buffer (format "*lean-server (%s)*" project-dir) + :buffer (format " *lean-server (%s)*" project-dir) :command `(,(lean-get-executable lean-executable-name) "--server" ,(format "*%s*" project-dir)) @@ -105,7 +105,7 @@ :buffer (format "*lean-server stderr (%s)*" project-dir) :noquery t)) (start-file-process "lean-server" - (format "*lean-server (%s)*" (buffer-name)) + (format " *lean-server (%s)*" (buffer-name)) (lean-get-executable lean-executable-name) "--server" (format "*%s*" (buffer-name)))))