##// END OF EJS Templates
Move mouse move handling to ConsoleWidget.eventFilter...
Move mouse move handling to ConsoleWidget.eventFilter Bradly Froehle pointed out my original implementation broke selecting text and suggested moving the link tooltip handling to eventFilter. The current version doesn't report that it handled the mouse move message, I think this may be better as in addition to showing the tool tip you can still select text inside the linkable object. (Its always been a problem to select some chunk of link text in gnome-terminal as their link handling overrides the other mouse selecting functionality)
Diane Trout -
r8536:450c7904
Show More
Name Size Modified Last Commit Author
/ IPython / parallel
apps
client
controller
engine
scripts
tests
__init__.py Loading ...
error.py Loading ...
factory.py Loading ...
util.py Loading ...