@ -178,13 +178,13 @@ define([
keyboard_manager: that.keyboard_manager,
notebook: that.notebook,
buttons : {
"Don't restart": {},
"Try restarting now": {
class: "btn-danger",
click: function () {
that.notebook.start_session();
}
},
"Don't restart": {}
});