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

r20495:1d4099c8
r20657:d4563772
Show More
manager.py
14 lines | 438 B | text/x-python | PythonLexer
"""Manager to read and modify frontend config data in JSON files.
"""
# Copyright (c) IPython Development Team.
# Distributed under the terms of the Modified BSD License.
import os
from IPython.config.manager import BaseJSONConfigManager
class ConfigManager(BaseJSONConfigManager):
"""Config Manager used for storing notebook frontend config"""
def _config_dir(self):
return os.path.join(self.profile_dir, 'nbconfig')