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

File last commit:

r10582:07f00631
r12966:86209d7d
Show More
kernel.py
12 lines | 253 B | text/x-python | PythonLexer
MinRK
move IPython.lib.kernel to IPython.utils.kernel...
r9351 """[DEPRECATED] Utilities for connecting to kernels
MinRK
add IPython.lib.kernel...
r4970
MinRK
split kernel.util into kernel.connect and kernel.launcher
r9355 Moved to IPython.kernel.connect
MinRK
add IPython.lib.kernel...
r4970 """
MinRK
move IPython.lib.kernel to IPython.utils.kernel...
r9351 import warnings
MinRK
remove reference to nonexistent 0.14 in deprecation warning
r10582 warnings.warn("IPython.lib.kernel moved to IPython.kernel.connect in IPython 1.0",
MinRK
move IPython.lib.kernel to IPython.utils.kernel...
r9351 DeprecationWarning
)
MinRK
add IPython.lib.kernel...
r4970
MinRK
split kernel.util into kernel.connect and kernel.launcher
r9355 from IPython.kernel.connect import *
MinRK
Split swallow_argv into standalone function in lib.kernel...
r5620