##// END OF EJS Templates
use $(window).height() instead of window.innerHeight...
use $(window).height() instead of window.innerHeight to measure window height when resizing contents Sometimes these values differ by a pixel, we may never know why. window.innerHeight seems to be larger when they disagree, causing an extra scrollbar to be drawn.

File last commit:

r9174:3a2553df
r20657:d4563772
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