-
-
Notifications
You must be signed in to change notification settings - Fork 563
refactor(language_server): new configuration structure for initialize
and workspace/didChangeConfiguration
#10890
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
How to use the Graphite Merge QueueAdd either label to this PR to merge it via the merge queue:
You must have a Graphite account in order to use the merge queue. Sign up using this link. An organization admin has enabled the Graphite Merge Queue in this repository. Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue. This stack of pull requests is managed by Graphite. Learn more about stacking. |
CodSpeed Instrumentation Performance ReportMerging #10890 will not alter performanceComparing Summary
|
92e9c2c
to
eb5d365
Compare
c21ff78
to
2ee56dd
Compare
2ee56dd
to
c25555b
Compare
@nrayburn-tech I tested it with VSCode extension in main and the language server in this PR. |
f4e6654
to
2e33728
Compare
…e` and `workspace/didChangeConfiguration`
2e33728
to
a234590
Compare
This PR introduces a new Options structure, which will be used for
initialize
andworkspace/didChangeConfiguration
.This is needed for multi workspace support, or else we will do the less performance-way with sending a server-request to the client.
Updated the docs to reflect how to use the new configuration structure
Still used the old structure as a fallback, because the IntelliJ plugin ❤️