##// 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 85 this.element.bind('collapse_pager', function () {
86 var that_height = that.element.outerHeight(true);
87 var pager_height = $('div#pager').outerHeight(true);
88 var new_height = that_height + pager_height;
89 console.log('collapse', that_height, pager_height, new_height);
86 var app_height = $('div#notebook_app').height(); // content height
87 var splitter_height = $('div#pager_splitter').outerHeight(true);
88 var new_height = app_height - splitter_height;
90 89 that.element.animate({height : new_height + 'px'}, 'fast');
91 90 });
92 91
93 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 95 var pager_height = $('div#pager').outerHeight(true);
96 var new_height = that_height - pager_height;
97 console.log('expand', that_height, pager_height, new_height);
96 var new_height = app_height - pager_height - splitter_height;
98 97 that.element.animate({height : new_height + 'px'}, 'fast');
99 98 });
100 99 };
@@ -42,14 +42,18 b' $(document).ready(function () {'
42 42 var w = win.width();
43 43 var h = win.height();
44 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 46 var pager_height = $('div#pager').outerHeight(true);
47 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 49 $('div#left_panel').height(app_height);
50 50 $('div#left_panel_splitter').height(app_height);
51 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 57 console.log('resize: ', app_height);
54 58 };
55 59
General Comments 0
You need to be logged in to leave comments. Login now