ruff
`ruff server`: Resolve configuration for each document individually
#10950
Merged
Merged
`ruff server`: Resolve configuration for each document individually #10950
snowsignal
merged
11 commits into
main
from
jane/server/per-document-config
Restructure session code to be more modular
2d30be20
Make configuration a property of individual documents instead of per-…
f7c073d4
Implement `get_or_insert` for configuration index
fc35618f
Rename 'configuration' (a shorthand for project configuration) to 'ru…
9db096a5
RuffSettingsIndex now loads eagerly instead of lazily, and only creat…
f63e3d2a
Load index properly on startup
c113c722
Fix reload/get functions
a746423e
MichaReiser
approved these changes
on 2024-04-16
dhruvmanila
approved these changes
on 2024-04-16
ruff_settings -> settings
0cebae43
Remove index reload method in favor of recreating the index from scratch
46964071
RuffSettingsIndex::get returns an owned Arc
5190c904
Make fallback log `info` instead of `warn`
34d442f2
Reviewers
Assignees
No one assigned
Labels
server
Milestone
Login to write a write a comment.
Login via GitHub