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

Progress reporter needs to response correctly when language server crashes #2036

Closed
jdneo opened this issue Jul 22, 2021 · 1 comment · Fixed by #3123
Closed

Progress reporter needs to response correctly when language server crashes #2036

jdneo opened this issue Jul 22, 2021 · 1 comment · Fixed by #3123
Assignees
Labels
Milestone

Comments

@jdneo
Copy link
Collaborator

jdneo commented Jul 22, 2021

We need to make the progress reporter the status bar item response correctly when language server crashes.

Possible solution are:

  • close the progress reporter
  • Update the status bar icon to reflect the current status.
@rgrunber
Copy link
Member

I think @hopehadfield would like to give this a try so marking accordingly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

4 participants