repl filter: update badge on repl change

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);
 	}
 

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();
 		}
 	}
 }