##// END OF EJS Templates
fix quickhelp widget...
fix quickhelp widget Move header.js -> quickhelp.js, as it not longer acts on whole header.
MinRK -
r5066:feffa597
Show More
Name Size Modified Last Commit Author
/ IPython / lib
tests
__init__.py Loading ...
backgroundjobs.py Loading ...
clipboard.py Loading ...
deepreload.py Loading ...
demo.py Loading ...
display.py Loading ...
guisupport.py Loading ...
inputhook.py Loading ...
inputhookglut.py Loading ...
inputhookgtk.py Loading ...
inputhookpyglet.py Loading ...
inputhookwx.py Loading ...
irunner.py Loading ...
kernel.py Loading ...
latextools.py Loading ...
pretty.py Loading ...
pylabtools.py Loading ...