Skip to content

Restart Language Server for active file#8128

Merged
elahehrashedi merged 12 commits intomainfrom
elrashed/restartLS
Sep 23, 2021
Merged

Restart Language Server for active file#8128
elahehrashedi merged 12 commits intomainfrom
elrashed/restartLS

Conversation

@elahehrashedi
Copy link
Contributor

feature-request: #3727

@elahehrashedi elahehrashedi requested a review from a team September 9, 2021 17:43
@elahehrashedi elahehrashedi merged commit 32ac8ae into main Sep 23, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Nov 8, 2021
@bobbrow bobbrow deleted the elrashed/restartLS branch February 10, 2022 21:24
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants