You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
72 lines
2.1 KiB
72 lines
2.1 KiB
// Copyright (c) Jupyter Development Team.
|
|
// Distributed under the terms of the Modified BSD License.
|
|
|
|
define([
|
|
'base/js/events',
|
|
], function(events){
|
|
"use strict";
|
|
|
|
var Page = function () {
|
|
this.bind_events();
|
|
};
|
|
|
|
Page.prototype.bind_events = function () {
|
|
// resize site on:
|
|
// - window resize
|
|
// - header change
|
|
// - page load
|
|
var _handle_resize = $.proxy(this._resize_site, this);
|
|
|
|
$(window).resize(_handle_resize);
|
|
|
|
// On document ready, resize codemirror.
|
|
$(document).ready(_handle_resize);
|
|
events.on('resize-header.Page', _handle_resize);
|
|
};
|
|
|
|
Page.prototype.show = function () {
|
|
/**
|
|
* The header and site divs start out hidden to prevent FLOUC.
|
|
* Main scripts should call this method after styling everything.
|
|
*/
|
|
this.show_header();
|
|
this.show_site();
|
|
};
|
|
|
|
Page.prototype.show_header = function () {
|
|
/**
|
|
* The header and site divs start out hidden to prevent FLOUC.
|
|
* Main scripts should call this method after styling everything.
|
|
* TODO: selector are hardcoded, pass as constructor argument
|
|
*/
|
|
$('div#header').css('display','block');
|
|
};
|
|
|
|
Page.prototype.show_site = function () {
|
|
/**
|
|
* The header and site divs start out hidden to prevent FLOUC.
|
|
* Main scripts should call this method after styling everything.
|
|
* TODO: selector are hardcoded, pass as constructor argument
|
|
*/
|
|
$('div#site').css('display', 'block');
|
|
this._resize_site();
|
|
};
|
|
|
|
|
|
|
|
Page.prototype._resize_site = function(e) {
|
|
/**
|
|
* Update the site's size.
|
|
*/
|
|
|
|
// In the case an event is passed in, only trigger if the event does
|
|
// *not* have a target DOM node (i.e., it is not bubbling up). See
|
|
// https://bugs.jquery.com/ticket/9841#comment:8
|
|
if (!(e && e.target && e.target.tagName)) {
|
|
$('div#site').height($(window).height() - $('#header').height());
|
|
}
|
|
};
|
|
|
|
return {'Page': Page};
|
|
});
|