update the layout since editor toolbar height changes

rebornix · rebornix · commit 07879df53d98 · 2021-03-19T11:32:13.000-07:00
diff --git a/src/vs/workbench/contrib/notebook/browser/notebookEditorWidget.ts b/src/vs/workbench/contrib/notebook/browser/notebookEditorWidget.ts
@@ -1379,7 +1379,7 @@ export class NotebookEditorWidget extends Disposable implements INotebookEditor
 		}
 
 		this._dimension = new DOM.Dimension(dimension.width, dimension.height);
-		DOM.size(this._body, dimension.width, dimension.height - (this._useGlobalToolbar ? /** Toolbar height */ 24 : 0));
+		DOM.size(this._body, dimension.width, dimension.height - (this._useGlobalToolbar ? /** Toolbar height */ 26 : 0));
 		this._list.updateOptions({ additionalScrollHeight: this._scrollBeyondLastLine ? dimension.height - SCROLLABLE_ELEMENT_PADDING_TOP : 0 });
 		this._list.layout(dimension.height - SCROLLABLE_ELEMENT_PADDING_TOP, dimension.width);
 

Original file line number	Diff line number	Diff line change
`@@ -1379,7 +1379,7 @@ export class NotebookEditorWidget extends Disposable implements INotebookEditor`
`1379`	`1379`	`}`
`1380`	`1380`
`1381`	`1381`	`this._dimension = new DOM.Dimension(dimension.width, dimension.height);`
`1382`		`- DOM.size(this._body, dimension.width, dimension.height - (this._useGlobalToolbar ? /** Toolbar height */ 24 : 0));`
	`1382`	`+ DOM.size(this._body, dimension.width, dimension.height - (this._useGlobalToolbar ? /** Toolbar height */ 26 : 0));`
`1383`	`1383`	`this._list.updateOptions({ additionalScrollHeight: this._scrollBeyondLastLine ? dimension.height - SCROLLABLE_ELEMENT_PADDING_TOP : 0 });`
`1384`	`1384`	`this._list.layout(dimension.height - SCROLLABLE_ELEMENT_PADDING_TOP, dimension.width);`
`1385`	`1385`