##// END OF EJS Templates
Merge pull request #928 from punchagan/font-size-shortcut-context...
Merge pull request #928 from punchagan/font-size-shortcut-context BUG: Set context for font size change shortcuts in ConsoleWidget
Evan Patterson -
r5193:444cde75 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 ...
kernel.py Loading ...
latextools.py Loading ...
pretty.py Loading ...
pylabtools.py Loading ...