Add filename to header area

IPython/html/templates/texteditor.html

@@ -1,60 +1,72 b''
 {% extends "page.html" %}
 
 {% block title %}{{page_title}}{% endblock %}
 
 {% block stylesheet %}
 <link rel="stylesheet" href="{{ static_url('components/codemirror/lib/codemirror.css') }}">
 <link rel="stylesheet" href="{{ static_url('components/codemirror/addon/dialog/dialog.css') }}">
 <style>
 #texteditor-container {
     border-bottom: 1px solid #ccc;
 }
+
+#filename {
+    font-size: 16pt;
+    display: table;
+    padding: 0px 5px;
+}
 </style>
 
 {{super()}}
 {% endblock %}
 
 {% block params %}
 
 data-base-url="{{base_url}}"
 data-file-path="{{file_path}}"
 
 {% endblock %}
 
+{% block header %}
+
+<span id="filename">{{ basename }}</span>
+
+{% endblock %}
+
 {% block site %}
 
 <div id="menubar-container" class="container">
 <div id="menubar">
     <div id="menus" class="navbar navbar-default" role="navigation">
         <div class="container-fluid">
             <button type="button" class="btn btn-default navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
               <i class="fa fa-bars"></i>
               <span class="navbar-text">Menu</span>
             </button>
             <ul class="nav navbar-nav navbar-right">
               <li id="notification_area"></li>
             </ul>
             <div class="navbar-collapse collapse">
               <ul class="nav navbar-nav">
                 <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">File</a>
                     <ul id="file_menu" class="dropdown-menu">
                         <li id="save_file"><a href="#">Save</a></li>
                     </ul>
                 </li>
               </ul>
             </div>
         </div>
     </div>
 </div>
 </div>
 
 <div id="texteditor-container" class="container"></div>
 
 {% endblock %}
 
 {% block script %}
 
     {{super()}}
 
 <script src="{{ static_url("texteditor/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
 {% endblock %}

IPython/html/texteditor/handlers.py

@@ -1,27 +1,29 b''
 #encoding: utf-8
 """Tornado handlers for the terminal emulator."""
 
 # Copyright (c) IPython Development Team.
 # Distributed under the terms of the Modified BSD License.
 
 from tornado import web
 from ..base.handlers import IPythonHandler, path_regex
 from ..utils import url_escape
 
 class EditorHandler(IPythonHandler):
     """Render the text editor interface."""
     @web.authenticated
     def get(self, path):
         path = path.strip('/')
         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)",
             )
         )
 
 default_handlers = [
     (r"/texteditor%s" % path_regex, EditorHandler),
 ]
  No newline at end of file