upstream/ipython Files · IPython/html/utils.py

Remove 5s wait on inactivity on GUI inputhook loops...

Remove 5s wait on inactivity on GUI inputhook loops The 5s (and 1s) waits were originally added in commit 5074878, but the 5 second wait meant if you left the console for 5+ minutes idle, it would take up to 5 seconds for a response to a keypress. This tradeoff of CPU cycles for battery life seems too far. Note that commit 5074878 was originally for wx, glut and pyglet are based on the wx version and came into existence after commit 5074878.

MinRK - - Load All Authors

File last commit:

r11033:fa36e98f


                r13125:f9e20986

Download file

             utils.py
        
                    32 lines
            
             | 1.0 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / utils.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      """Notebook related utilities

      Authors:

      * Brian Granger

      """

      #-----------------------------------------------------------------------------

      #  Copyright (C) 2011  The IPython Development Team

      #

      #  Distributed under the terms of the BSD License.  The full license is in

      #  the file COPYING, distributed as part of this software.

      #-----------------------------------------------------------------------------

      #-----------------------------------------------------------------------------

      # Imports

      #-----------------------------------------------------------------------------

      def url_path_join(*pieces):

          """Join components of url into a relative url

          Use to prevent double slash when joining subpath. This will leave the

          initial and final / in place

          """

          initial = pieces[0].startswith('/')

          final = pieces[-1].endswith('/')

          striped = [s.strip('/') for s in pieces]

          result = '/'.join(s for s in striped if s)

          if initial: result = '/' + result

          if final: result = result + '/'

          if result == '//': result = '/'

          return result

	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

				"""Notebook related utilities

				Authors:

				* Brian Granger
				"""

				#-----------------------------------------------------------------------------
				# Copyright (C) 2011 The IPython Development Team
				#
				# Distributed under the terms of the BSD License. The full license is in
				# the file COPYING, distributed as part of this software.
				#-----------------------------------------------------------------------------

				#-----------------------------------------------------------------------------
				# Imports
				#-----------------------------------------------------------------------------

				def url_path_join(*pieces):
				"""Join components of url into a relative url

				Use to prevent double slash when joining subpath. This will leave the
				initial and final / in place
				"""
				initial = pieces[0].startswith('/')
				final = pieces[-1].endswith('/')
				striped = [s.strip('/') for s in pieces]
				result = '/'.join(s for s in striped if s)
				if initial: result = '/' + result
				if final: result = result + '/'
				if result == '//': result = '/'
				return result