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.

Sign up for GitHub

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

Jump to bottom

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

Merged
merged 5 commits into from
Jul 25, 2022
Merged

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

merged 5 commits into from
Jul 25, 2022

Commits on Jul 17, 2022

  1. Adding workspace support 

    Each time the user switches to a different workspace, the language server will point to that workspace then restart.
    @razshare
    razshare committed Jul 17, 2022
    Configuration menu
    Copy the full SHA
    f1ed355 View commit details
    Browse the repository at this point in the history

  2. cleaning logs

    @razshare
    razshare committed Jul 17, 2022
    Configuration menu
    Copy the full SHA
    09aca5a View commit details
    Browse the repository at this point in the history

  3. preventing retarts when workspace has not actually changed

    @razshare
    razshare committed Jul 17, 2022
    Configuration menu
    Copy the full SHA
    b3bf460 View commit details
    Browse the repository at this point in the history

  4. improving code style and also reloading config file 

    When restarting the language server it will also try to load the local (to the project) psalm config file (usually psalm.xml)
    @razshare
    razshare committed Jul 17, 2022
    Configuration menu
    Copy the full SHA
    3613af9 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2022

  1. activeWorkspace defaulting to workspaceFolders[0]

    @razshare
    razshare committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    6b17bf5 View commit details
    Browse the repository at this point in the history