##// END OF EJS Templates
fix menubar height measurement...
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).
MinRK -
r12966:86209d7d
Show More
Name Size Modified Last Commit Author
/ IPython / utils
tests
PyColorize.py Loading ...
__init__.py Loading ...
_process_common.py Loading ...
_process_posix.py Loading ...
_process_win32.py Loading ...
_process_win32_controller.py Loading ...
_sysinfo.py Loading ...
_tokenize_py2.py Loading ...
_tokenize_py3.py Loading ...
attic.py Loading ...
capture.py Loading ...
codeutil.py Loading ...
coloransi.py Loading ...
contexts.py Loading ...
daemonize.py Loading ...
data.py Loading ...
decorators.py Loading ...
dir2.py Loading ...
doctestreload.py Loading ...
encoding.py Loading ...
frame.py Loading ...
generics.py Loading ...
importstring.py Loading ...
io.py Loading ...
ipstruct.py Loading ...
jsonutil.py Loading ...
localinterfaces.py Loading ...
module_paths.py Loading ...
openpy.py Loading ...
path.py Loading ...
pickleshare.py Loading ...
pickleutil.py Loading ...
process.py Loading ...
py3compat.py Loading ...
rlineimpl.py Loading ...
strdispatch.py Loading ...
submodule.py Loading ...
sysinfo.py Loading ...
syspathcontext.py Loading ...
tempdir.py Loading ...
terminal.py Loading ...
text.py Loading ...
timing.py Loading ...
tokenize2.py Loading ...
traitlets.py Loading ...
tz.py Loading ...
ulinecache.py Loading ...
version.py Loading ...
warn.py Loading ...
wildcard.py Loading ...
zmqrelated.py Loading ...