max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(emacs/lean-server): do not restart server on dependency change

Browse source
This commit is contained in:
Gabriel Ebner 2016-10-13 15:33:54 -04:00 • committed by Leonardo de Moura
parent 559b96ab3e
commit 7e3285bf06
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/lean-server.el
View file

@ -89,9 +89,7 @@
(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)))))
(with-current-buffer (process-buffer p) (compilation-mode)))))
(temp-buffer-window-show (process-buffer proc))
(with-current-buffer (process-buffer proc)
(let ((buffer-read-only nil)) (erase-buffer))))))