Merge pull request #148 from Carreau/restart-and-clear

Add ability to restart and clear all.
pull/185/head
Min RK 11 years ago
commit b79c6ade71

@ -1631,11 +1631,18 @@ define(function (require) {
),
buttons : {
"Continue running" : {},
"Restart" : {
"Clear all outputs & restart" : {
"class" : "btn-danger",
"click" : function(){
that.clear_all_output();
that.kernel.restart();
},
"Restart" : {
"class" : "btn-warning",
"click" : function() {
that.kernel.restart();
}
},
}
}
});

Loading…
Cancel
Save