completely hide the hidden widget (#21931)

This commit is contained in:
Alan Ren
2023-02-13 19:42:34 -08:00
committed by GitHub
parent f678e27515
commit a754d235c0

View File

@@ -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';
}
}