From ae1b6fb835d733f140e983efa9ec9eef9f6ddee7 Mon Sep 17 00:00:00 2001
From: Thomas Kluyver <thomas@kluyver.me.uk>
Date: Thu, 29 Mar 2018 11:53:00 +0200
Subject: [PATCH] Change button label to 'Quit'

---
 notebook/templates/tree.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/notebook/templates/tree.html b/notebook/templates/tree.html
index c1944f7a4..e37f08d3c 100644
--- a/notebook/templates/tree.html
+++ b/notebook/templates/tree.html
@@ -15,7 +15,10 @@ data-server-root="{{server_root}}"
   <span class="flex-spacer"></span>
   {% if shutdown_button %}
     <span id="shutdown_widget">
-      <button id="shutdown" class="btn btn-sm navbar-btn">Shutdown</button>
+      <button id="shutdown" class="btn btn-sm navbar-btn"
+              title="{% trans %}Stop the Jupyter server{% endtrans %}">
+          {% trans %}Quit{% endtrans %}
+      </button>
     </span>
   {% endif %}
 {% endblock %}