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

prevent widget shortcut conflicts with menu proxies...

prevent widget shortcut conflicts with menu proxies set some menu bar contexts to Widget, preventing conflict. Essentially, these events will never be called by shortcut, as the events for which they are a proxy are already bound to the shortcut, and get it instead. This is a bit ugly, because the menu shortcuts aren't really active - they depend on the widget shortcuts being the same.

Bernardo B. Marques - - Load All Authors

File last commit:

r4872:34c10438


                r5140:915fe1fd

Download file

             localinterfaces.py
        
                    40 lines
            
             | 1.3 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / utils / localinterfaces.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      """Simple utility for building a list of local IPs using the socket module.

      This module defines two constants:

      LOCALHOST : The loopback interface, or the first interface that points to this

                  machine.  It will *almost* always be '127.0.0.1'

      LOCAL_IPS : A list of IP addresses, loopback first, that point to this machine.

      """

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

      #  Copyright (C) 2010  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

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

      import socket

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

      # Code

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

      LOCAL_IPS = []

      try:

          LOCAL_IPS = socket.gethostbyname_ex('localhost')[2]

      except socket.gaierror:

          pass

      try:

          LOCAL_IPS.extend(socket.gethostbyname_ex(socket.gethostname())[2])

      except socket.gaierror:

          pass

      # include all-interface aliases: 0.0.0.0 and ''

      LOCAL_IPS.extend(['0.0.0.0', ''])

      LOCALHOST = LOCAL_IPS[0]

	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

				"""Simple utility for building a list of local IPs using the socket module.
				This module defines two constants:

				LOCALHOST : The loopback interface, or the first interface that points to this
				machine. It will almost always be '127.0.0.1'

				LOCAL_IPS : A list of IP addresses, loopback first, that point to this machine.
				"""
				#-----------------------------------------------------------------------------
				# Copyright (C) 2010 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
				#-----------------------------------------------------------------------------

				import socket

				#-----------------------------------------------------------------------------
				# Code
				#-----------------------------------------------------------------------------

				LOCAL_IPS = []
				try:
				LOCAL_IPS = socket.gethostbyname_ex('localhost')[2]
				except socket.gaierror:
				pass

				try:
				LOCAL_IPS.extend(socket.gethostbyname_ex(socket.gethostname())[2])
				except socket.gaierror:
				pass

				# include all-interface aliases: 0.0.0.0 and ''
				LOCAL_IPS.extend(['0.0.0.0', ''])

				LOCALHOST = LOCAL_IPS[0]