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

r11336:24b78a4d
r20657:d4563772
Show More
__main__.py
14 lines | 464 B | text/x-python | PythonLexer
# encoding: utf-8
"""Terminal-based IPython entry point.
"""
#-----------------------------------------------------------------------------
# Copyright (c) 2012, IPython Development Team.
#
# Distributed under the terms of the Modified BSD License.
#
# The full license is in the file COPYING.txt, distributed with this software.
#-----------------------------------------------------------------------------
from IPython import start_ipython
start_ipython()