##// END OF EJS Templates
allow users to set scroll state...
allow users to set scroll state and persist that state in metadata. When user toggles the scroll state, the choice is remembered and persisted. There are three states: - 'auto' (default, only state in master) - true (always scroll if above minimum_scroll_threshold) - false (never scroll) true or false is persisted in cell.metadata.scrolled. "auto" may be persisted, but isn't currently because it's the default state.

File last commit:

r19074:a613289c
r20058:b237ec78
Show More
handlers.py
28 lines | 878 B | text/x-python | PythonLexer
#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('edit.html',
file_path=url_escape(path),
basename=basename,
page_title=basename + " (editing)",
)
)
default_handlers = [
(r"/edit%s" % path_regex, EditorHandler),
]