##// END OF EJS Templates
Fix session references in toolbar and menubar
Jessica B. Hamrick -
Show More
@@ -117,7 +117,7 b' define(['
117 label : 'Interrupt',
117 label : 'Interrupt',
118 icon : 'fa-stop',
118 icon : 'fa-stop',
119 callback : function () {
119 callback : function () {
120 that.notebook.session.interrupt_kernel();
120 that.notebook.kernel.interrupt();
121 }
121 }
122 },
122 },
123 {
123 {
@@ -287,7 +287,7 b' define(['
287
287
288 // Kernel
288 // Kernel
289 this.element.find('#int_kernel').click(function () {
289 this.element.find('#int_kernel').click(function () {
290 that.notebook.session.interrupt_kernel();
290 that.notebook.kernel.interrupt();
291 });
291 });
292 this.element.find('#restart_kernel').click(function () {
292 this.element.find('#restart_kernel').click(function () {
293 that.notebook.restart_kernel();
293 that.notebook.restart_kernel();
General Comments 0
You need to be logged in to leave comments. Login now