##// END OF EJS Templates
Fix scrolling output not working...
Fix scrolling output not working by adding a conditional for the append output height reset.
Jonathan Frederic -
r12817:0ccf08f2
Show More
Name Size Modified Last Commit Author
/ IPython / kernel / zmq / gui
__init__.py Loading ...
gtkembed.py Loading ...