Skip to content

Show All Diagnostics Button#29

Merged
rcosta358 merged 2 commits intomainfrom
show-all-diagnostics-button
Jan 10, 2026
Merged

Show All Diagnostics Button#29
rcosta358 merged 2 commits intomainfrom
show-all-diagnostics-button

Conversation

@rcosta358
Copy link
Copy Markdown
Collaborator

@rcosta358 rcosta358 commented Jan 9, 2026

This PR adds a button to the webview that toggles diagnostic filtering, allowing users to view either all diagnostics or only those from the currently opened file.

image

@rcosta358 rcosta358 self-assigned this Jan 9, 2026
@rcosta358 rcosta358 added the enhancement New feature or request label Jan 9, 2026
Copy link
Copy Markdown
Collaborator

@CatarinaGamboa CatarinaGamboa left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

awesome!

@rcosta358 rcosta358 changed the title Show All Diagnostics Toggle Button Show All Diagnostics Button Jan 10, 2026
@rcosta358 rcosta358 merged commit 96a6fec into main Jan 10, 2026
@rcosta358 rcosta358 deleted the show-all-diagnostics-button branch January 10, 2026 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants