From 7437382d966d39c4de21d2686bd8f31a23e5c47b 2014-11-20 19:52:36
From: Thomas Kluyver <takowl@gmail.com>
Date: 2014-11-20 19:52:36
Subject: [PATCH] Set page title for editor

---

diff --git a/IPython/html/texteditor/handlers.py b/IPython/html/texteditor/handlers.py
index a202685..5933c02 100644
--- a/IPython/html/texteditor/handlers.py
+++ b/IPython/html/texteditor/handlers.py
@@ -18,6 +18,7 @@ class EditorHandler(IPythonHandler):
 
         self.write(self.render_template('texteditor.html',
             file_path=url_escape(path),
+            page_title=path.rsplit('/', 1)[-1] + " (editing)",
             )
         )