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

Folder level settings #268

Draft
wants to merge 9 commits into
base: master
Choose a base branch
from
Draft

Conversation

limarkxx
Copy link
Contributor

@limarkxx limarkxx commented Jul 24, 2023

The goal of this PR is to support multi-root workspaces, by changing the scope of configuration setting contribution points to resource instead of the default window, and fully supporting those changes in behavior.

This should allow the user to configure unique psalm language server settings for each workspace folder in a multi-root workspace. Such a configuration should spawn a separate php psalm process for each workspace folder, allowing each workspace to operate using different php versions, different psalm.xml files, etc.

Note: the fixtures folder contains a sample multi-root workspace setup

@tm1000
Copy link
Collaborator

tm1000 commented Jul 27, 2023

This looks great. Just need to play with it.

I'm currently writing a test runner extension for php for vscode and I've switched to using resource as well so I agree with this overall

@limarkxx
Copy link
Contributor Author

I moved all the testing stuff to #269 because it was getting tough to read, and also I don't have any actual tests yet.

@limarkxx
Copy link
Contributor Author

limarkxx commented Aug 9, 2023

vimeo/psalm#10094 prevents multiple LSP instances currently

@limarkxx limarkxx marked this pull request as ready for review August 9, 2023 03:45
@limarkxx
Copy link
Contributor Author

limarkxx commented Aug 9, 2023

You can start a codespace in https://github.com/limarkxx/psalm-vscode-plugin/tree/test-folder-level-settings to test with a sample project

@limarkxx limarkxx marked this pull request as draft August 9, 2023 14:20
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.

2 participants