From 47d0584301d16d4efd6618f6f33ef14099c92561 Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Tue, 28 Aug 2018 20:38:47 -0700 Subject: [PATCH] Settings editor - setting count is wrong on startup --- .../workbench/parts/preferences/browser/settingsEditor2.ts | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts index 4d59d1a3e518f..f18975f69905d 100644 --- a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts +++ b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts @@ -716,6 +716,10 @@ export class SettingsEditor2 extends BaseEditor { if (this.settingsTreeModel) { this.settingsTreeModel.update(resolvedSettingsRoot); + + // Maybe settings were added, update count + this.renderResultCountMessages(); + return this.renderTree(); } else { this.settingsTreeModel = this.instantiationService.createInstance(SettingsTreeModel, this.viewState); @@ -728,6 +732,8 @@ export class SettingsEditor2 extends BaseEditor { } else { this.tocTree.setInput(this.tocTreeModel); } + + this.renderResultCountMessages(); } return TPromise.wrap(null);