From fdb6d37c85b7b053dfe7d3d2e1a3182f72e4c36f 2015-01-26 02:08:33 From: Jonathan Frederic Date: 2015-01-26 02:08:33 Subject: [PATCH] Shutdown the selected notebooks before deleting them --- diff --git a/IPython/html/static/tree/js/notebooklist.js b/IPython/html/static/tree/js/notebooklist.js index 429e046..75181ec 100644 --- a/IPython/html/static/tree/js/notebooklist.js +++ b/IPython/html/static/tree/js/notebooklist.js @@ -518,6 +518,11 @@ define([ Delete : { class: "btn-danger", click: function() { + // Shutdown any/all selected notebooks before deleting + // the files. + that.shutdown_selected(); + + // Delete selected. that.selected.forEach(function(item) { that.contents.delete(item.path).then(function() { that.notebook_deleted(item.path);