From ab8b0b914a224cc99e3ca628d1de4a1e5a5a59f8 Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Fri, 26 Nov 2021 10:56:41 +0100 Subject: [PATCH] Set height to 0 if domNode is null. --- src/vs/editor/browser/widget/codeEditorWidget.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/editor/browser/widget/codeEditorWidget.ts b/src/vs/editor/browser/widget/codeEditorWidget.ts index 19b22fd66a6..75756825872 100644 --- a/src/vs/editor/browser/widget/codeEditorWidget.ts +++ b/src/vs/editor/browser/widget/codeEditorWidget.ts @@ -1492,13 +1492,13 @@ export class CodeEditorWidget extends Disposable implements editorBrowser.ICodeE Configuration.applyFontInfoSlow(target, this._configuration.options.get(EditorOption.fontInfo)); } - public setBanner(domNode: HTMLElement | null, height: number): void { + public setBanner(domNode: HTMLElement | null, domNodeHeight: number): void { if (this._bannerDomNode && this._domElement.contains(this._bannerDomNode)) { this._domElement.removeChild(this._bannerDomNode); } this._bannerDomNode = domNode; - this._configuration.reserveHeight(height); + this._configuration.reserveHeight(domNode ? domNodeHeight : 0); if (this._bannerDomNode) { this._domElement.prepend(this._bannerDomNode);