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

File last commit:

r4406:0251893c
r10776:3362a3b1
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer