##// END OF EJS Templates
Merge pull request #7526 from jdfreder/editscroll...
Merge pull request #7526 from jdfreder/editscroll Explicitly size codemirror editor in Edit app
Min RK -
r20088:e31f3d7c merge
Show More
Name Size Modified Last Commit Author
/ IPython / kernel / zmq / gui
__init__.py Loading ...
gtk3embed.py Loading ...
gtkembed.py Loading ...