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

Notify user if server extension is not installed #453

Closed
krassowski opened this issue Jan 3, 2021 · 0 comments · Fixed by #476
Closed

Notify user if server extension is not installed #453

krassowski opened this issue Jan 3, 2021 · 0 comments · Fixed by #476
Milestone
3.1

Comments

@krassowski
Copy link
Member

krassowski commented Jan 3, 2021 •
edited
Loading

With the upcoming new extension system it may be more important than ever to add detection of server extension e.g. by /lsp endpoint not returning 404 and explain this to the user in the UI. This should be also tested in acceptance tests.

Could be a status bar status. Also, could check versions.
@krassowski krassowski changed the title Notify used if server extension is not installed Notify user if server extension is not installed Jan 3, 2021
@krassowski krassowski added this to the 3.1 milestone Jan 14, 2021
@krassowski krassowski mentioned this issue Jan 16, 2021
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
3.1
Development

Successfully merging a pull request may close this issue.

Add new status "no server extension" jupyter-lsp/jupyterlab-lsp
1 participant
@krassowski