@@ -52,8 +52,10 @@ export class NotebookShell extends Widget implements JupyterFrontEnd.IShell {
52
52
this . _main . id = 'main-panel' ;
53
53
this . _main . node . setAttribute ( 'role' , 'main' ) ;
54
54
55
- this . _spacer = new Widget ( ) ;
56
- this . _spacer . id = 'spacer-widget' ;
55
+ this . _spacer_top = new Widget ( ) ;
56
+ this . _spacer_top . id = 'spacer-widget-top' ;
57
+ this . _spacer_bottom = new Widget ( ) ;
58
+ this . _spacer_bottom . id = 'spacer-widget-bottom' ;
57
59
58
60
// create wrappers around the top and menu areas
59
61
topWrapper . id = 'top-panel-wrapper' ;
@@ -86,8 +88,9 @@ export class NotebookShell extends Widget implements JupyterFrontEnd.IShell {
86
88
const middlePanel = new Panel ( { layout : middleLayout } ) ;
87
89
middlePanel . addWidget ( this . _topWrapper ) ;
88
90
middlePanel . addWidget ( this . _menuWrapper ) ;
89
- middlePanel . addWidget ( this . _spacer ) ;
91
+ middlePanel . addWidget ( this . _spacer_top ) ;
90
92
middlePanel . addWidget ( this . _main ) ;
93
+ middlePanel . addWidget ( this . _spacer_bottom ) ;
91
94
middlePanel . layout = middleLayout ;
92
95
93
96
// TODO: Consider storing this as an attribute this._hsplitPanel if saving/restoring layout needed
@@ -267,15 +270,15 @@ export class NotebookShell extends Widget implements JupyterFrontEnd.IShell {
267
270
*/
268
271
collapseTop ( ) : void {
269
272
this . _topWrapper . setHidden ( true ) ;
270
- this . _spacer . setHidden ( true ) ;
273
+ this . _spacer_top . setHidden ( true ) ;
271
274
}
272
275
273
276
/**
274
277
* Expand the top area to show the header and the spacer.
275
278
*/
276
279
expandTop ( ) : void {
277
280
this . _topWrapper . setHidden ( false ) ;
278
- this . _spacer . setHidden ( false ) ;
281
+ this . _spacer_top . setHidden ( false ) ;
279
282
}
280
283
281
284
/**
@@ -344,7 +347,8 @@ export class NotebookShell extends Widget implements JupyterFrontEnd.IShell {
344
347
private _menuHandler : PanelHandler ;
345
348
private _leftHandler : SidePanelHandler ;
346
349
private _rightHandler : SidePanelHandler ;
347
- private _spacer : Widget ;
350
+ private _spacer_top : Widget ;
351
+ private _spacer_bottom : Widget ;
348
352
private _main : Panel ;
349
353
private _translator : ITranslator = nullTranslator ;
350
354
private _currentChanged = new Signal < this, void > ( this ) ;
0 commit comments