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

r9372:37f32253
r19733:7fed0275
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer