##// END OF EJS Templates
Merge pull request #4384 from minrk/height...
Merge pull request #4384 from minrk/height fix menubar height measurement we were measuring the wrong divs, causing the pager splitter to occasionally be off-screen, or the top ~8 pixels of the header to be cut off (e.g. when visiting a url with an anchor).
Min RK -
r12979:52ae6bbd merge
Show More
Name Size Modified Last Commit Author
/ IPython / lib
tests
__init__.py Loading ...
backgroundjobs.py Loading ...
clipboard.py Loading ...
deepreload.py Loading ...
demo.py Loading ...
display.py Loading ...
editorhooks.py Loading ...
guisupport.py Loading ...
inputhook.py Loading ...
inputhookglut.py Loading ...
inputhookgtk.py Loading ...
inputhookgtk3.py Loading ...
inputhookpyglet.py Loading ...
inputhookqt4.py Loading ...
inputhookwx.py Loading ...
irunner.py Loading ...
kernel.py Loading ...
latextools.py Loading ...
pretty.py Loading ...
security.py Loading ...