##// END OF EJS Templates
Merge pull request #835 from punchagan/tab_pagedown...
Merge pull request #835 from punchagan/tab_pagedown Add Tab key to list of keys that scroll down the paging widget.
Evan Patterson -
r4947:7883c912 merge
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 ...
latextools.py Loading ...
pretty.py Loading ...
pylabtools.py Loading ...