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

Merge pull request from mcelrath/menu_borders...

Merge pull request from mcelrath/menu_borders Fix 1px margin bouncing of selected menu item. This fixes the margin of the active menu item to zero, so now the text doesn't shift around, even if you use larger fonts. To reproduce the original error, zoom your notebook (ctrl-mousewheel, or ctrl-+ in most browsers) and try the menu.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r5390:c82649ea


                r7406:9b250034

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-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

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

      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-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
				#-----------------------------------------------------------------------------

				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]