Add filename to header area

IPython/html/templates/texteditor.html

@@ -9,6 +9,12 @@
 #texteditor-container {
     border-bottom: 1px solid #ccc;
 }
+
+#filename {
+    font-size: 16pt;
+    display: table;
+    padding: 0px 5px;
+}
 </style>
 
 {{super()}}
@@ -21,6 +27,12 @@ data-file-path="{{file_path}}"
 
 {% endblock %}
 
+{% block header %}
+
+<span id="filename">{{ basename }}</span>
+
+{% endblock %}
+
 {% block site %}
 
 <div id="menubar-container" class="container">

IPython/html/texteditor/handlers.py

@@ -16,9 +16,11 @@ class EditorHandler(IPythonHandler):
         if not self.contents_manager.file_exists(path):
             raise web.HTTPError(404, u'File does not exist: %s' % path)
 
+        basename = path.rsplit('/', 1)[-1]
         self.write(self.render_template('texteditor.html',
             file_path=url_escape(path),
-            page_title=path.rsplit('/', 1)[-1] + " (editing)",
+            basename=basename,
+            page_title=basename + " (editing)",
             )
         )