From a31dcc38f2b09a623fc9239d9004e74b6f0765f6 Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Sat, 20 Apr 2019 19:29:17 +0000 Subject: [PATCH] Fix #72173 - settings not shown after clearing setting search query --- .../preferences/electron-browser/settingsEditor2.ts | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts b/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts index 71958ebdaff..caf824e0601 100644 --- a/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts +++ b/src/vs/workbench/contrib/preferences/electron-browser/settingsEditor2.ts @@ -1219,11 +1219,14 @@ export class SettingsEditor2 extends BaseEditor { } private renderResultCountMessages() { - if (!this.currentSettingsModel || !this.searchResultModel) { - this.countElement.style.display = 'none'; + if (!this.currentSettingsModel) { return; } + if (!this.searchResultModel) { + this.countElement.style.display = 'none'; + } + if (this.tocTreeModel && this.tocTreeModel.settingsTreeRoot) { const count = this.tocTreeModel.settingsTreeRoot.count; switch (count) { -- GitLab