Hacktoberfest 2026: the issues maintainers tagged for October, open and beginner-friendly. Browse Hacktoberfest issues

VS Code "Problems" view does not update when a QL file is deleted

Open
#732 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
42/100
Issue type
Bug
Clarity
Mostly clear
Activity status
Stale
Tech stack
typescript, vscode

Research direction

No files, tests, or entry points are named. Reproduce the issue in VS Code by creating a QL file with a compilation error, then deleting it, and trace the extension's diagnostics handling for deleted files. Done means the Problems view removes all diagnostics for the deleted QL file.

Written by the indexing model from the issue text.

Description

bug VSCode

Describe the bug
If I create a QL file with some compilation errors, those compilation errors will be reported in the standard VS Code "Problems" view. However, if I delete those QL files without resolving the compilation errors, the "Problems" view is not updated to remove the old compilation errors.

To Reproduce

  1. Create a QL file with a compilation error.
  2. Observe that the compilation error appears in the "Problems" view
  3. Delete the QL file
  4. Observe that the compilation errors are still present in the "Problems" view

Expected behavior
Remove all "Problems" for QL files after deleting the file.

Additional context
Add any other context about the problem here.

Dominant language
TypeScript
Stars
539
Forks
240
Avg merge
2d 18h
Merged PRs (30d)
37

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from github/vscode-codeql

All issues in github/vscode-codeql

Similar issues

More TypeScript issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.