##// END OF EJS Templates
Merge pull request #1921 from bfroehle/_1890_magic_arguments_docstring...
Merge pull request #1921 from bfroehle/_1890_magic_arguments_docstring magic_arguments: dedent but otherwise preserve indentation. Previously magic_arguments stripped all whitespace at the beginning of each line, interfering with formatting syntax which relies on indentation to give context (e.g., code blocks). Now the docstring text is passed through dedent to strip the global indentation before being handed off to `RawDescriptionHelpFormatter` which preserves any remaining indentation. Thanks to @rkern for suggesting the solution approach. Closes gh-1890.

File last commit:

r6723:f581afa2
r7496:673e5331 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#toolbar').css('display') === 'none') {
toolbar_height = 0;
} else {
toolbar_height = $('div#toolbar').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
$('div#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').height(pager_height);
if (IPython.pager.expanded) {
$('div#notebook').height(app_height-pager_height-pager_splitter_height);
} else {
$('div#notebook').height(app_height-pager_splitter_height);
}
};
IPython.LayoutManager = LayoutManager;
return IPython;
}(IPython));