From ca6e43347c46431660611a2d052869b64e563fcc 2014-11-09 18:06:48 From: Min RK <benjaminrk@gmail.com> Date: 2014-11-09 18:06:48 Subject: [PATCH] s/Connection lost/Not Connected/ --- diff --git a/IPython/html/static/notebook/js/notificationarea.js b/IPython/html/static/notebook/js/notificationarea.js index 9fca816..ca71b13 100644 --- a/IPython/html/static/notebook/js/notificationarea.js +++ b/IPython/html/static/notebook/js/notificationarea.js @@ -133,7 +133,7 @@ define([ }); this.events.on('kernel_connection_dead.Kernel', function (evt, info) { - knw.danger("Connection lost", undefined, function () { + knw.danger("Not Connected", undefined, function () { // schedule reconnect a short time in the future, don't reconnect immediately setTimeout($.proxy(info.kernel.reconnect, info.kernel), 500); }, {title: 'click to reconnect'});