Merge pull request #150 from jackfrey13/problems-tab-fix

Improved Handling for Problems in Closed/Deleted Files
sqlfluff · Jul 25, 2024 · e4d9953 · e4d9953
2 parents eb3717b + 686e062
commit e4d9953
Showing 1 changed file with 14 additions and 4 deletions.
diff --git a/src/features/providers/linter/lint.ts b/src/features/providers/linter/lint.ts
@@ -31,11 +31,21 @@ export default class LintingProvider {
     vscode.workspace.onDidChangeConfiguration(this.loadConfiguration, this, subscriptions);
     vscode.workspace.onDidOpenTextDocument(this.triggerLint, this, subscriptions);
     vscode.workspace.onDidCloseTextDocument(
-      (textDocument) => {
-        if (!Configuration.lintEntireProject()) {
-          this.diagnosticCollection.delete(textDocument.uri);
+      async (textDocument) => {
+        const { uri } = textDocument;
+        let doesDocumentExist = true;
+
+        try {
+          await vscode.workspace.fs.stat(uri);
+        } catch {
+          doesDocumentExist = false;
+        }
+
+        if (!Configuration.lintEntireProject() || !vscode.workspace.getWorkspaceFolder(uri) || !doesDocumentExist) {
+          this.diagnosticCollection.delete(uri);
         }
-        delete this.delayers[textDocument.uri.toString()];
+
+        delete this.delayers[uri.toString()];
       },
       null,
       subscriptions