Set page title for editor

This commit is contained in:
Thomas Kluyver 2014-11-14 16:26:19 -08:00
parent 6419595371
commit be85a342cf

View File

@ -18,6 +18,7 @@ class EditorHandler(IPythonHandler):
self.write(self.render_template('texteditor.html', self.write(self.render_template('texteditor.html',
file_path=url_escape(path), file_path=url_escape(path),
page_title=path.rsplit('/', 1)[-1] + " (editing)",
) )
) )