##// 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.
Min RK -
r20657:d4563772
Show More
Name Size Modified Last Commit Author
/ IPython / html / widgets
tests
__init__.py Loading ...
interaction.py Loading ...
widget.py Loading ...
widget_bool.py Loading ...
widget_box.py Loading ...
widget_button.py Loading ...
widget_float.py Loading ...
widget_image.py Loading ...
widget_int.py Loading ...
widget_link.py Loading ...
widget_output.py Loading ...
widget_selection.py Loading ...
widget_selectioncontainer.py Loading ...
widget_string.py Loading ...