From fd467584bdd9589b00a80e799dc66d7366476c12 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 13 Oct 2016 12:11:19 -0400 Subject: [PATCH] feat(emacs/lean-server): show linja output in compilation mode --- src/emacs/lean-server.el | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 5baef54656..cd17e84853 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -84,6 +84,14 @@ (proc (start-file-process "linja" (format "*linja (%s)*" default-directory) "linja"))) - (set-process-sentinel proc (lambda (p e) (lean-server-restart)))))) + (lexical-let ((buffer (current-buffer))) + (set-process-sentinel proc + (lambda (p e) + (with-current-buffer (process-buffer p) (compilation-mode)) + (message "restarting lean") + (with-current-buffer buffer (lean-server-restart))))) + (temp-buffer-window-show (process-buffer proc)) + (with-current-buffer (process-buffer proc) + (let ((buffer-read-only nil)) (erase-buffer)))))) (provide 'lean-server)