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

Feature: restart language server on project switching when using workspaces #184

Merged
merged 5 commits into from
Jul 25, 2022

Conversation

razshare
Copy link
Contributor

Each time the user switches to a different project within a workspace the language server will point to that project then restart.
Previously the language server would always point to the first project in the workspace ( see #104 (comment) ).

Improvements are welcomed.

Related to #104

Each time the user switches to a different workspace, the language server will point to that workspace then restart.
When restarting the language server it will also try to load the local (to the project) psalm config file (usually psalm.xml)
src/extension.ts Show resolved Hide resolved
@tm1000
Copy link
Collaborator

tm1000 commented Jul 25, 2022

Hey there this looks pretty great!

I just have one comment. Review it and let me know your thoughts

@razshare razshare requested a review from tm1000 July 25, 2022 20:39
@tm1000 tm1000 merged commit e812c41 into psalm:master Jul 25, 2022
@tm1000
Copy link
Collaborator

tm1000 commented Jul 25, 2022

2.7.0 🥳

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