##// END OF EJS Templates
add disabling, align badges and improve look...
add disabling, align badges and improve look - Disable checkboxes when there is nothing to select - right-alignment of badges in the menu - HTML and CSS improvements for better look (not final) Internal changes: - Avoid use of `stopPropagation()`! Instead, replace bootstap's dropdown hide/show logic with suitable sticky-dropdown behaviour. - Avoid selecting the `..` parent folder

File last commit:

r19074:a613289c
r20345:f41f7f1d
Show More
handlers.py
28 lines | 878 B | text/x-python | PythonLexer
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 #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
Thomas Kluyver
Update text editor for new contents API
r19015 from ..base.handlers import IPythonHandler, path_regex
Thomas Kluyver
Loading a file works
r19011 from ..utils import url_escape
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010
class EditorHandler(IPythonHandler):
Thomas Kluyver
Update text editor for new contents API
r19015 """Render the text editor interface."""
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 @web.authenticated
Thomas Kluyver
Update text editor for new contents API
r19015 def get(self, path):
Thomas Kluyver
Loading a file works
r19011 path = path.strip('/')
Thomas Kluyver
Update text editor for new contents API
r19015 if not self.contents_manager.file_exists(path):
raise web.HTTPError(404, u'File does not exist: %s' % path)
Thomas Kluyver
Loading a file works
r19011
Thomas Kluyver
Add filename to header area
r19040 basename = path.rsplit('/', 1)[-1]
Thomas Kluyver
Rename texteditor files & folders to edit
r19074 self.write(self.render_template('edit.html',
Thomas Kluyver
Update text editor for new contents API
r19015 file_path=url_escape(path),
Thomas Kluyver
Add filename to header area
r19040 basename=basename,
page_title=basename + " (editing)",
Thomas Kluyver
Loading a file works
r19011 )
)
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010
default_handlers = [
Thomas Kluyver
/texteditor/ in URLs -> /edit/
r19073 (r"/edit%s" % path_regex, EditorHandler),
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 ]