From a754d235c0fe3c73fe2530838b6d87e8bc020dab Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Mon, 13 Feb 2023 19:42:34 -0800 Subject: [PATCH] completely hide the hidden widget (#21931) --- .../contrib/profiler/browser/profilerTableEditor.ts | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/sql/workbench/contrib/profiler/browser/profilerTableEditor.ts b/src/sql/workbench/contrib/profiler/browser/profilerTableEditor.ts index 56d1ecd786..e0894e15b0 100644 --- a/src/sql/workbench/contrib/profiler/browser/profilerTableEditor.ts +++ b/src/sql/workbench/contrib/profiler/browser/profilerTableEditor.ts @@ -251,12 +251,15 @@ export class ProfilerTableEditor extends EditorPane implements IProfilerControll } private _onFindStateChange(e: FindReplaceStateChangedEvent): void { + const node = this._finder.getDomNode(); if (e.isRevealed) { if (this._findState.isRevealed) { - this._finder.getDomNode().style.top = '0px'; + node.style.top = '0px'; + node.style.display = ''; this._updateFinderMatchState(); } else { - this._finder.getDomNode().style.top = ''; + node.style.top = ''; + node.style.display = 'none'; } }