##// END OF EJS Templates
Add Ctrl-+/- to increase/decrease font size....
Add Ctrl-+/- to increase/decrease font size. I'm not sure yet how to change the window size automatically to keep the window at a constant row/columns size, but at least now users can adjust the font size, which is a major usability issue. Also, fixed minor typo in a variable name.
Fernando Perez -
r3081:f0980fb5
Show More
Name Size Modified Last Commit Author
/ IPython / core
tests
__init__.py Loading ...
alias.py Loading ...
application.py Loading ...
autocall.py Loading ...
builtin_trap.py Loading ...
completer.py Loading ...
completerlib.py Loading ...
crashhandler.py Loading ...
debugger.py Loading ...
display_trap.py Loading ...
displayhook.py Loading ...
error.py Loading ...
excolors.py Loading ...
extensions.py Loading ...
fakemodule.py Loading ...
history.py Loading ...
hooks.py Loading ...
inputlist.py Loading ...
inputsplitter.py Loading ...
interactiveshell.py Loading ...
ipapi.py Loading ...
logger.py Loading ...
macro.py Loading ...
magic.py Loading ...
oinspect.py Loading ...
page.py Loading ...
payload.py Loading ...
payloadpage.py Loading ...
plugin.py Loading ...
prefilter.py Loading ...
prompts.py Loading ...
quitter.py Loading ...
release.py Loading ...
shadowns.py Loading ...
splitinput.py Loading ...
ultratb.py Loading ...
usage.py Loading ...