add ein:notebook-reconnect-kernel to menu

This commit is contained in:
Sam Steingold 2017-10-19 12:36:58 -04:00
parent e0e3fac0c4
commit 0be2524001

View file

@ -1509,6 +1509,7 @@ This hook is run regardless the actual major mode used."
("Kernel"
,@(ein:generate-menu
'(("Restart kernel" ein:notebook-restart-kernel-command)
("Reconnect kernel" ein:notebook-reconnect-kernel)
("Switch kernel" ein:notebook-switch-kernel)
("Interrupt kernel" ein:notebook-kernel-interrupt-command))))
("Worksheets [Experimental]"