##// END OF EJS Templates
Use different threshold for (auto)scroll in output...
Use different threshold for (auto)scroll in output Allow, in particular to switch to scolling for longer input (or disable it) by still keeping the possibility to manually toggle the output to scroll.
Matthias BUSSONNIER -
r10776:3362a3b1
Show More
Name Size Modified Last Commit Author
/ IPython / deathrow / oldfrontend / cocoa / tests
__init__.py Loading ...
test_cocoa_frontend.py Loading ...