Fix session references in toolbar and menubar

Jessica B. Hamrick 12 years ago
parent 9f1574eb6c
commit 3dfe601a8f

@ -117,7 +117,7 @@ define([
label : 'Interrupt',
icon : 'fa-stop',
callback : function () {
that.notebook.session.interrupt_kernel();
that.notebook.kernel.interrupt();
}
},
{

@ -287,7 +287,7 @@ define([
// Kernel
this.element.find('#int_kernel').click(function () {
that.notebook.session.interrupt_kernel();
that.notebook.kernel.interrupt();
});
this.element.find('#restart_kernel').click(function () {
that.notebook.restart_kernel();

Loading…
Cancel
Save