diff --git a/IPython/html/static/notebook/js/kernelselector.js b/IPython/html/static/notebook/js/kernelselector.js index 732e4c2..18b016f 100644 --- a/IPython/html/static/notebook/js/kernelselector.js +++ b/IPython/html/static/notebook/js/kernelselector.js @@ -248,6 +248,12 @@ define([ title : 'Kernel not found', body : body, buttons : { + 'No appropriate kernel' : { + class : 'btn-danger', + click : function () { + that.events.trigger('no_kernel.Kernel'); + } + }, OK : { class : 'btn-primary', click : function () { diff --git a/IPython/html/static/notebook/js/notificationarea.js b/IPython/html/static/notebook/js/notificationarea.js index d8c117b..be279d3 100644 --- a/IPython/html/static/notebook/js/notificationarea.js +++ b/IPython/html/static/notebook/js/notificationarea.js @@ -187,6 +187,10 @@ define([ showMsg(); }); + + this.events.on("no_kernel.Kernel", function (evt, data) { + $("#kernel_indicator").find('.kernel_indicator_name').text("No Kernel"); + }); this.events.on('kernel_dead.Session', function (evt, info) { var full = info.xhr.responseJSON.message;