From be85a342cfdb2d4838d82a336375d0e9c053eaa9 Mon Sep 17 00:00:00 2001 From: Thomas Kluyver Date: Fri, 14 Nov 2014 16:26:19 -0800 Subject: [PATCH] Set page title for editor --- IPython/html/texteditor/handlers.py | 1 + 1 file changed, 1 insertion(+) diff --git a/IPython/html/texteditor/handlers.py b/IPython/html/texteditor/handlers.py index a20268526..5933c02f4 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)", ) )