From c6c090eda609b9c57a78ffe0ed93a761f36fecf4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 4 Nov 2014 17:16:33 -0800 Subject: [PATCH] feat(src/emacs/lean-mode): add shortcut for restarting lean server --- src/emacs/lean-mode.el | 1 + 1 file changed, 1 insertion(+) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index 7e921e919..042bb7f1c 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -90,6 +90,7 @@ (local-set-key "\C-c\C-e" 'lean-eval-cmd) (local-set-key "\C-c\C-t" 'lean-show-type) (local-set-key "\C-c\C-f" 'lean-fill-placeholder) + (local-set-key "\C-c\C-r" 'lean-server-restart-process) (local-set-key "\M-." 'lean-find-tag) (local-set-key (kbd "TAB") 'lean-tab-indent-or-complete))