From 45d5d7cd4cbac333266d749dc2377f44d7d377ad Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Mon, 2 Feb 2026 14:52:42 +0000
Subject: [PATCH] Fix: Problems table mode ignoring "Show Active File Only"
 filter (#291860)

* Initial plan

* Fix: Problems table mode not respecting active file filter

When the active file filter is enabled and markers change, the table view was incorrectly showing markers from all files. This happened because the widget.update() method was patching updates into the internal unfiltered list.

The fix ensures that when the active file filter is on, we always reset the widget with the filtered list instead of trying to do an incremental update.

Co-authored-by: sandy081 <10746682+sandy081@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: sandy081 <10746682+sandy081@users.noreply.github.com>
---
 src/vs/workbench/contrib/markers/browser/markersView.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/vs/workbench/contrib/markers/browser/markersView.ts b/src/vs/workbench/contrib/markers/browser/markersView.ts
index 61aec18cdc7..0b6d00ebde7 100644
--- a/src/vs/workbench/contrib/markers/browser/markersView.ts
+++ b/src/vs/workbench/contrib/markers/browser/markersView.ts
@@ -333,7 +333,7 @@ export class MarkersView extends FilterViewPane implements IMarkersView {
 				if (markerOrChange instanceof Marker) {
 					this.widget.updateMarker(markerOrChange);
 				} else {
-					if (markerOrChange.added.size || markerOrChange.removed.size) {
+					if (markerOrChange.added.size || markerOrChange.removed.size || this.filters.activeFile) {
 						// Reset complete widget
 						this.resetWidget();
 					} else {