##// END OF EJS Templates
Merge pull request #3523 from takluyver/docs-exclude-frontend...
Merge pull request #3523 from takluyver/docs-exclude-frontend Exclude frontend shim from docs build Closes #3517 The API doc writer has separate exclude patterns for modules and packages, so frontend needed to be listed in the modules exclusions.

File last commit:

r11033:fa36e98f
r11141:67280025 merge
Show More
layoutmanager.js
62 lines | 2.1 KiB | application/javascript | JavascriptLexer
//----------------------------------------------------------------------------
// Copyright (C) 2008-2011 The IPython Development Team
//
// Distributed under the terms of the BSD License. The full license is in
// the file COPYING, distributed as part of this software.
//----------------------------------------------------------------------------
//============================================================================
// Layout
//============================================================================
var IPython = (function (IPython) {
var LayoutManager = function () {
this.bind_events();
};
LayoutManager.prototype.bind_events = function () {
$(window).resize($.proxy(this.do_resize,this));
};
LayoutManager.prototype.app_height = function() {
var win = $(window);
var w = win.width();
var h = win.height();
var header_height;
if ($('div#header').css('display') === 'none') {
header_height = 0;
} else {
header_height = $('div#header').outerHeight(true);
}
var menubar_height = $('div#menubar').outerHeight(true);
var toolbar_height;
if ($('div#maintoolbar').css('display') === 'none') {
toolbar_height = 0;
} else {
toolbar_height = $('div#maintoolbar').outerHeight(true);
}
return h-header_height-menubar_height-toolbar_height; // content height
}
LayoutManager.prototype.do_resize = function () {
var app_height = this.app_height() // content height
$('#ipython-main-app').height(app_height); // content+padding+border height
var pager_height = IPython.pager.percentage_height*app_height;
var pager_splitter_height = $('div#pager_splitter').outerHeight(true);
$('div#pager').outerHeight(pager_height);
if (IPython.pager.expanded) {
$('div#notebook').outerHeight(app_height-pager_height-pager_splitter_height);
} else {
$('div#notebook').outerHeight(app_height-pager_splitter_height);
}
};
IPython.LayoutManager = LayoutManager;
return IPython;
}(IPython));