Skip to content

Always pull diagnostics on didOpen even if document is already known via tab#1719

Closed
Copilot wants to merge 3 commits intomainfrom
copilot/fix-text-document-diagnostics
Closed

Always pull diagnostics on didOpen even if document is already known via tab#1719
Copilot wants to merge 3 commits intomainfrom
copilot/fix-text-document-diagnostics

Commits

Commits on Feb 6, 2026

Commits on Feb 9, 2026