Skip to content

Conversation

@jakubbortlik
Copy link
Collaborator

Fixes the bug introduced by #446 which causes the diagnostics not to be shown properly.

@jakubbortlik jakubbortlik mentioned this pull request Feb 3, 2025
@jakubbortlik
Copy link
Collaborator Author

Superseded by #474.

@jakubbortlik jakubbortlik deleted the fix-show-diagnostics-when-entering-buffer-for-first-time branch February 19, 2025 20:00
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.

1 participant