From eb3f86d4e8fbd8e4cb23aa747458e67c0b5e07d9 Mon Sep 17 00:00:00 2001
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: Sat, 23 May 2015 20:04:34 -0700
Subject: [PATCH] "Manual restart" is not very descriptive.

This is  a little clearer IMHO
---
 notebook/static/notebook/js/notificationarea.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notebook/static/notebook/js/notificationarea.js b/notebook/static/notebook/js/notificationarea.js
index a083bf179..bdc4b0fa6 100644
--- a/notebook/static/notebook/js/notificationarea.js
+++ b/notebook/static/notebook/js/notificationarea.js
@@ -178,7 +178,7 @@ define([
                     keyboard_manager: that.keyboard_manager,
                     notebook: that.notebook,
                     buttons : {
-                        "Manual Restart": {
+                        "Try restarting now": {
                             class: "btn-danger",
                             click: function () {
                                 that.notebook.start_session();