From ff4753f41de3f35430f2fb833c0135172082fb4c Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Wed, 22 May 2019 15:39:17 -0700 Subject: [PATCH] Fix #71832 --- .../preferences/electron-browser/settingsEditor2.ts | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts b/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts index 7ce3a1e0211..4dcf150489f 100644 --- a/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts +++ b/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts @@ -1222,8 +1222,14 @@ export class SettingsEditor2 extends BaseEditor { return; } + this.clearFilterLinkContainer.style.display = this.viewState.tagFilters && this.viewState.tagFilters.size > 0 + ? 'initial' + : 'none'; + if (!this.searchResultModel) { this.countElement.style.display = 'none'; + DOM.removeClass(this.rootElement, 'no-results'); + return; } if (this.tocTreeModel && this.tocTreeModel.settingsTreeRoot) { @@ -1236,9 +1242,6 @@ export class SettingsEditor2 extends BaseEditor { this.countElement.style.display = 'block'; DOM.toggleClass(this.rootElement, 'no-results', count === 0); - this.clearFilterLinkContainer.style.display = this.viewState.tagFilters && this.viewState.tagFilters.size > 0 - ? 'initial' - : 'none'; } } -- GitLab