|
|
|
|
@ -230,10 +230,16 @@ class="notebook_app"
|
|
|
|
|
<ul id="kernel_menu" class="dropdown-menu">
|
|
|
|
|
<li id="int_kernel"
|
|
|
|
|
title="Send KeyboardInterrupt (CTRL-C) to the Kernel">
|
|
|
|
|
<a href="#">Interrupt</a></li>
|
|
|
|
|
<a href="#">Interrupt</a>
|
|
|
|
|
</li>
|
|
|
|
|
<li id="restart_kernel"
|
|
|
|
|
title="Restart the Kernel">
|
|
|
|
|
<a href="#">Restart</a></li>
|
|
|
|
|
<a href="#">Restart</a>
|
|
|
|
|
</li>
|
|
|
|
|
<li id="reconnect_kernel"
|
|
|
|
|
title="Reconnect to the Kernel">
|
|
|
|
|
<a href="#">Reconnect</a>
|
|
|
|
|
</li>
|
|
|
|
|
<li class="divider"></li>
|
|
|
|
|
<li id="menu-change-kernel" class="dropdown-submenu">
|
|
|
|
|
<a href="#">Change kernel</a>
|
|
|
|
|
|