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

File last commit:

r9356:896b92cc
r19733:7fed0275
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer