ruff
`ruff server` refreshes diagnostics for open files when file configuration is changed
#10988
Merged

`ruff server` refreshes diagnostics for open files when file configuration is changed #10988

snowsignal merged 3 commits into main from jane/server/diagnostics/refresh
snowsignal
snowsignal Refresh workspace when configuration gets changed
128c0105
snowsignal snowsignal added server
snowsignal snowsignal added this to the Ruff Server: Beta milestone 1 year ago
snowsignal Check for workspace refresh support
a78bb67c
snowsignal Always register workspace_refresh as true to workaround bug in lsp-se…
5910f400
github-actions
MichaReiser
MichaReiser approved these changes on 2024-04-17
MichaReiser
snowsignal snowsignal merged 0a632741 into main 1 year ago
snowsignal snowsignal deleted the jane/server/diagnostics/refresh branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone