From 8e8267805f99851d250d4d4cd481cc1978f67a46 Mon Sep 17 00:00:00 2001 From: isidor Date: Wed, 23 Sep 2020 10:30:26 +0200 Subject: [PATCH] repl filter: update badge on repl change --- src/vs/workbench/contrib/debug/browser/repl.ts | 2 ++ .../workbench/contrib/debug/browser/replFilter.ts | 13 ++++++++----- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/src/vs/workbench/contrib/debug/browser/repl.ts b/src/vs/workbench/contrib/debug/browser/repl.ts index 66bf902722a..7fe44b35aaf 100644 --- a/src/vs/workbench/contrib/debug/browser/repl.ts +++ b/src/vs/workbench/contrib/debug/browser/repl.ts @@ -527,6 +527,8 @@ export class Repl extends ViewPane implements IHistoryNavigationWidget { // Only scroll if we were scrolled all the way down before tree refreshed #10486 revealLastElement(this.tree); } + // Repl elements count changed, need to update filter stats on the badge + this.filterState.updateFilterStats(); }, Repl.REFRESH_DELAY); } diff --git a/src/vs/workbench/contrib/debug/browser/replFilter.ts b/src/vs/workbench/contrib/debug/browser/replFilter.ts index 6b953244c6e..143d555a5fd 100644 --- a/src/vs/workbench/contrib/debug/browser/replFilter.ts +++ b/src/vs/workbench/contrib/debug/browser/replFilter.ts @@ -112,12 +112,15 @@ export class ReplFilterState { if (this._filterText !== filterText) { this._filterText = filterText; this._onDidChange.fire(); + this.updateFilterStats(); + } + } - const { total, filtered } = this.filterStatsProvider.getFilterStats(); - if (this._stats.total !== total || this._stats.filtered !== filtered) { - this._stats = { total, filtered }; - this._onDidStatsChange.fire(); - } + updateFilterStats(): void { + const { total, filtered } = this.filterStatsProvider.getFilterStats(); + if (this._stats.total !== total || this._stats.filtered !== filtered) { + this._stats = { total, filtered }; + this._onDidStatsChange.fire(); } } } -- GitLab