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

Add option to turn off language server support #32

Closed
onvlt opened this issue Jan 19, 2021 · 2 comments
Closed

Add option to turn off language server support #32

onvlt opened this issue Jan 19, 2021 · 2 comments
Labels
bug Something isn't working

Comments

@onvlt
Copy link
Contributor

onvlt commented Jan 19, 2021

I can't seem to make the language server working (I'm running into the same error described in #24 or jeapostrophe/racket-langserver#11).

Because of that, the error message keeps constantly popping up, which makes this extension practically unusable. The logical solution would be to fix the lang-server itself, but until that, it would be nice if there was an option to simply turn LSP support off.

I could, of course, simply switch to a different extension, but Magic Racket is still far superior to the other extensions, even without LSP – it has the best syntax highlighting and REPL integration is very convenient. Turning LSP off could be the way to go for those folks who just want to get decent syntax highlighting without any extra setup.

EDIT: I accientally marked this issue as a bug, which is incorrect. It's a feature request. Or maybe request for help, If you know any workaround.

@onvlt onvlt added the bug Something isn't working label Jan 19, 2021
@Eugleo
Copy link
Owner

Eugleo commented Jan 19, 2021

I'm hard pressed to find time to work on this atm, but I'm more than willing to accept PRs for this issue! Let me know if you're up for it.

@onvlt
Copy link
Contributor Author

onvlt commented Jan 19, 2021

I've never worked on VS Code extension before but I suppose it shouldn't be that difficult. I'll take a look at it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants