##// 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.

File last commit:

r2732:60cab731
r4947:7883c912 merge
Show More
__init__.py
2 lines | 78 B | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
"""This directory is meant for IPython extensions."""