From 947a8fa6339f892d637064c680f4ad8254307e12 2014-09-30 19:20:50 From: Jessica B. Hamrick Date: 2014-09-30 19:20:50 Subject: [PATCH] Don't pop up modal dialog --- diff --git a/IPython/html/static/notebook/js/notificationarea.js b/IPython/html/static/notebook/js/notificationarea.js index f2e43a5..75dba95 100644 --- a/IPython/html/static/notebook/js/notificationarea.js +++ b/IPython/html/static/notebook/js/notificationarea.js @@ -216,8 +216,6 @@ define([ that.save_widget.update_document_title(); $kernel_ind_icon.attr('class','kernel_dead_icon').attr('title','Kernel Dead'); knw.danger(short, undefined, showMsg); - - showMsg(); }); this.events.on('websocket_closed.Kernel', function (event, data) {