Skip to content
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

feat: Allow ${workspaceFolder} in vala.languageServerPath configuration #25

Merged
merged 1 commit into from
Oct 28, 2023

Conversation

caspermeijn
Copy link
Contributor

The predefined VSCode variables 1 are not automatically substituted for configuration options. The Vala extension must do the substitution to allow the Vala language server to be relative to the workspace folder.

This patch is a simplified version of the substitution in the Rust extension 2.

@caspermeijn
Copy link
Contributor Author

Is it possible to release this patch?
Some users of flatpak-vscode plugin are having problems that are fixed by this change: bilelmoussaoui/flatpak-vscode#215 (comment)

src/client.ts Outdated Show resolved Hide resolved
Prince781
Prince781 previously approved these changes Oct 28, 2023
…ration

The predefined VSCode variables [1] are not automatically substituted for configuration options. The Vala extension must do the substitution to allow the Vala language server to be relative to the workspace folder.

This patch is a simplified version of the substitution in the Rust extension [2].

[1]: https://code.visualstudio.com/docs/editor/variables-reference#_predefined-variables
[2]: https://github.com/rust-lang/rust-analyzer/blob/884dd8c966e29d48bd9f8e5f22440cd238aa7cf1/editors/code/src/config.ts#L399

Signed-off-by: Casper Meijn <casper@meijn.net>
Signed-off-by: Princeton Ferro <princetonferro@gmail.com>
Copy link
Member

@Prince781 Prince781 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks!

@Prince781 Prince781 merged commit f526ecf into vala-lang:master Oct 28, 2023
@caspermeijn
Copy link
Contributor Author

Thanks for the release

@caspermeijn caspermeijn deleted the workspaceFolder branch October 28, 2023 18:28
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.

None yet

2 participants