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

Allow the user to interact with link anchors in the qtconsole...

Allow the user to interact with link anchors in the qtconsole Since the qtconsole can display hyperlinks, it would be useful to allow interacting with them. This adds showing a tooltip when the mouse is over a link. The tooltip code stores the anchor in ConsoleWidget._anchor, so when the user right-clicks to select the context menu for "Open Link" or "Copy Link Address", it uses the text that was displayed and not whats under the current context menu pointer location. Also storing the anchor allows me to check to see if we've already displayed that anchor on a new mouseMoveEvent so the tooltip doesn't keep getting redrawn.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r5390:c82649ea


                r8532:9891d074

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]