##// END OF EJS Templates
don't use fixed header...
don't use fixed header instead, use static header and flex box to accomplish the same thing. fixes various issues related to scrolling, anchors, etc.
Min RK -
r20050:a5cb9bb0
Show More
Name Size Modified Last Commit Author
/ IPython / external
appnope
decorator
decorators
path
pexpect
simplegeneric
__init__.py Loading ...
mathjax.py Loading ...
qt.py Loading ...
qt_for_kernel.py Loading ...
qt_loaders.py Loading ...