Skip to content

Add markup diagnostic message clarification#1917

Merged
dbaeumer merged 1 commit intomicrosoft:gh-pagesfrom
MariaSolOs:diag-filter
Apr 12, 2024
Merged

Add markup diagnostic message clarification#1917
dbaeumer merged 1 commit intomicrosoft:gh-pagesfrom
MariaSolOs:diag-filter

Conversation

@MariaSolOs
Copy link
Contributor

Follow-up of #1905.

As commented here, the protocol should be clear about what to do when a diagnostic has a markup message and these are being sent in the code action context to a server that doesn't support them.

@dbaeumer dbaeumer enabled auto-merge (squash) April 12, 2024 06:29
@vscodenpa vscodenpa added this to the April 2024 milestone Apr 12, 2024
@dbaeumer dbaeumer merged commit 4d044f5 into microsoft:gh-pages Apr 12, 2024
@MariaSolOs MariaSolOs deleted the diag-filter branch April 12, 2024 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants