##// END OF EJS Templates
add Reconnect to kernel menu
Min RK -
Show More
@@ -295,6 +295,9 b' define(['
295 this.element.find('#restart_kernel').click(function () {
295 this.element.find('#restart_kernel').click(function () {
296 that.notebook.restart_kernel();
296 that.notebook.restart_kernel();
297 });
297 });
298 this.element.find('#reconnect_kernel').click(function () {
299 that.notebook.kernel.reconnect();
300 });
298 // Help
301 // Help
299 if (this.tour) {
302 if (this.tour) {
300 this.element.find('#notebook_tour').click(function () {
303 this.element.find('#notebook_tour').click(function () {
@@ -230,10 +230,16 b' class="notebook_app"'
230 <ul id="kernel_menu" class="dropdown-menu">
230 <ul id="kernel_menu" class="dropdown-menu">
231 <li id="int_kernel"
231 <li id="int_kernel"
232 title="Send KeyboardInterrupt (CTRL-C) to the Kernel">
232 title="Send KeyboardInterrupt (CTRL-C) to the Kernel">
233 <a href="#">Interrupt</a></li>
233 <a href="#">Interrupt</a>
234 </li>
234 <li id="restart_kernel"
235 <li id="restart_kernel"
235 title="Restart the Kernel">
236 title="Restart the Kernel">
236 <a href="#">Restart</a></li>
237 <a href="#">Restart</a>
238 </li>
239 <li id="reconnect_kernel"
240 title="Reconnect to the Kernel">
241 <a href="#">Reconnect</a>
242 </li>
237 <li class="divider"></li>
243 <li class="divider"></li>
238 <li id="menu-change-kernel" class="dropdown-submenu">
244 <li id="menu-change-kernel" class="dropdown-submenu">
239 <a href="#">Change kernel</a>
245 <a href="#">Change kernel</a>
General Comments 0
You need to be logged in to leave comments. Login now