upstream/ipython Files · IPython/html/edit/handlers.py

This feature was discussed in , but it doesn't look like anything was ever incorporated into the IPython Notebook....

This feature was discussed in , but it doesn't look like anything was ever incorporated into the IPython Notebook. Here's a brief overview of the changes: - Display of messages from other clients can be toggled on and off from within a notebook, either using the ``<M-m>e`` keyboard shortcut in the web UI, or through the option in the "Kernel" menu. - notebook.js controls whether messages are displayed through a callback that is invoked from kernel.js when no callbacks are available for a message. - The UI displays ``execute_input`` messages originating from an other clients in new cells at the end of the notebook. Output messages (``execute_result`` et al.) will only be displayed if a cell exists with a matching message ID. Pending design questions: - Should each ``execute_input`` message cause a new cell to be created? - Should new cells be placed at the end of the notebook, or elsewhere? If the latter, what criteria should be followed?

Thomas Kluyver - - Load All Authors

File last commit:

r19074:a613289c


                r19164:17ac8ca3

Download file

             handlers.py
        
                    28 lines
            
             | 878 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / edit / handlers.py
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        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
            
      ]

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

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	]