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

r9174:3a2553df
r12966:86209d7d
Show More
test_imports.py
23 lines | 509 B | text/x-python | PythonLexer
# encoding: utf-8
def test_import_coloransi():
from IPython.utils import coloransi
def test_import_generics():
from IPython.utils import generics
def test_import_ipstruct():
from IPython.utils import ipstruct
def test_import_PyColorize():
from IPython.utils import PyColorize
def test_import_rlineimpl():
from IPython.utils import rlineimpl
def test_import_strdispatch():
from IPython.utils import strdispatch
def test_import_wildcard():
from IPython.utils import wildcard