Skip to content

Add java.diagnostic.filter to exclude files from diagnostic publishing.#3218

Merged
rgrunber merged 1 commit intoeclipse-jdtls:masterfrom
rgrunber:fix-2150
Jul 26, 2024
Merged

Add java.diagnostic.filter to exclude files from diagnostic publishing.#3218
rgrunber merged 1 commit intoeclipse-jdtls:masterfrom
rgrunber:fix-2150

Conversation

@rgrunber
Copy link
Contributor

- When diagnostic filter is updated :
  - only update (clear) documents that are being newly filtered
  - documents no longer being filtered are updated upon modification
- Add testcase

Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
@rgrunber rgrunber merged commit 33be746 into eclipse-jdtls:master Jul 26, 2024
@rgrunber rgrunber deleted the fix-2150 branch July 26, 2024 19:04
@rgrunber rgrunber added this to the End July 2024 milestone Jul 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Allow for excluding files from the problem tab

2 participants