##// END OF EJS Templates
fix scroll actions...
fix scroll actions div#notebook no longer scrolls at all. Instead, only the body scrolls. This may be a problem, but at least scroll actions work now.
Min RK -
r19733:7fed0275
Show More
Name Size Modified Last Commit Author
/ IPython / kernel / zmq / gui
__init__.py Loading ...
gtk3embed.py Loading ...
gtkembed.py Loading ...