From 275873b5032d921594cba839219284ee9108d6c8 Mon Sep 17 00:00:00 2001
From: Ricardo Costa <rcosta.ms358@gmail.com>
Date: Tue, 10 Feb 2026 15:12:14 +0000
Subject: [PATCH] Always Show Diagnostics with No Location

---
 client/src/webview/views/verification/verification.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/webview/views/verification/verification.ts b/client/src/webview/views/verification/verification.ts
index b4ad11c..2e53d4d 100644
--- a/client/src/webview/views/verification/verification.ts
+++ b/client/src/webview/views/verification/verification.ts
@@ -10,7 +10,7 @@ export function renderVerificationView(
     expandedErrors: Set<number>,
     selectedTab: NavTab
 ): string {
-    const fileDiagnostics = diagnostics.filter(diagnostic => diagnostic.file?.toLowerCase() === currentFile?.toLowerCase());
+    const fileDiagnostics = diagnostics.filter(diagnostic => diagnostic.file?.toLowerCase() === currentFile?.toLowerCase() || !diagnostic.file);
     const displayDiagnostics = showAll ? diagnostics : fileDiagnostics;
     const errors = displayDiagnostics.filter(d => d.category === 'error') as LJError[];
     const warnings = displayDiagnostics.filter(d => d.category === 'warning') as LJWarning[];