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

Explain how to install editor/command server extensions #1675

Open
phillco opened this issue Jan 11, 2025 · 0 comments
Open

Explain how to install editor/command server extensions #1675

phillco opened this issue Jan 11, 2025 · 0 comments

Comments

@phillco
Copy link
Collaborator

phillco commented Jan 11, 2025

We raise an error when we detect an editor but can't communicate with it but we don't actually explain how to fix the problem, generally.

Originally posted by @phillco in #1671 (comment)

I'd ask if we can link to it, but realized this is the generic code path. It would be nice if each implementation (VSCode, JetBrains, etc) could provide a "help" action that explains how to fix the issue (could just linked to the extension page or even open it)

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

No branches or pull requests

1 participant