Fix scope on restart buttons

Restart button was excluded since
it was inside another button.
Min RK 11 years ago
parent 0a93cc6c6a
commit 715e87afc2

@ -1637,13 +1637,13 @@ define(function (require) {
that.clear_all_output();
that.kernel.restart();
},
},
"Restart" : {
"class" : "btn-warning",
"click" : function() {
that.kernel.restart();
}
},
}
}
});
};

Loading…
Cancel
Save