##// END OF EJS Templates
Call tips are now positioned more intelligently: if a call tip below the current line would be outside the screen, it is positioned above the line instead.
Call tips are now positioned more intelligently: if a call tip below the current line would be outside the screen, it is positioned above the line instead.
epatters -
r2881:bc516fc7
Show More
Name Size Modified Last Commit Author
/ IPython / extensions
tests
__init__.py Loading ...
parallelmagic.py Loading ...
pretty.py Loading ...