##// END OF EJS Templates
More accuract height calculations for the pager collapse/expand.
Brian E. Granger -
Show More
@@ -83,18 +83,17 b' var IPython = (function (IPython) {'
83 });
83 });
84
84
85 this.element.bind('collapse_pager', function () {
85 this.element.bind('collapse_pager', function () {
86 var that_height = that.element.outerHeight(true);
86 var app_height = $('div#notebook_app').height(); // content height
87 var pager_height = $('div#pager').outerHeight(true);
87 var splitter_height = $('div#pager_splitter').outerHeight(true);
88 var new_height = that_height + pager_height;
88 var new_height = app_height - splitter_height;
89 console.log('collapse', that_height, pager_height, new_height);
90 that.element.animate({height : new_height + 'px'}, 'fast');
89 that.element.animate({height : new_height + 'px'}, 'fast');
91 });
90 });
92
91
93 this.element.bind('expand_pager', function () {
92 this.element.bind('expand_pager', function () {
94 var that_height = that.element.outerHeight(true);
93 var app_height = $('div#notebook_app').height(); // content height
94 var splitter_height = $('div#pager_splitter').outerHeight(true);
95 var pager_height = $('div#pager').outerHeight(true);
95 var pager_height = $('div#pager').outerHeight(true);
96 var new_height = that_height - pager_height;
96 var new_height = app_height - pager_height - splitter_height;
97 console.log('expand', that_height, pager_height, new_height);
98 that.element.animate({height : new_height + 'px'}, 'fast');
97 that.element.animate({height : new_height + 'px'}, 'fast');
99 });
98 });
100 };
99 };
@@ -42,14 +42,18 b' $(document).ready(function () {'
42 var w = win.width();
42 var w = win.width();
43 var h = win.height();
43 var h = win.height();
44 var header_height = $('div#header').outerHeight(true);
44 var header_height = $('div#header').outerHeight(true);
45 var app_height = h - header_height - 2;
45 var app_height = h - header_height - 2; // content height
46 var pager_height = $('div#pager').outerHeight(true);
46 var pager_height = $('div#pager').outerHeight(true);
47 var pager_splitter_height = $('div#pager_splitter').outerHeight(true);
47 var pager_splitter_height = $('div#pager_splitter').outerHeight(true);
48 $('div#notebook_app').height(app_height + 2);
48 $('div#notebook_app').height(app_height + 2); // content+padding+border height
49 $('div#left_panel').height(app_height);
49 $('div#left_panel').height(app_height);
50 $('div#left_panel_splitter').height(app_height);
50 $('div#left_panel_splitter').height(app_height);
51 $('div#notebook_panel').height(app_height);
51 $('div#notebook_panel').height(app_height);
52 $('div#notebook').height(app_height-pager_height-pager_splitter_height);
52 if (IPython.pager.expanded) {
53 $('div#notebook').height(app_height-pager_height-pager_splitter_height);
54 } else {
55 $('div#notebook').height(app_height-pager_splitter_height);
56 }
53 console.log('resize: ', app_height);
57 console.log('resize: ', app_height);
54 };
58 };
55
59
General Comments 0
You need to be logged in to leave comments. Login now