Skip to content
This repository has been archived by the owner on Jul 25, 2022. It is now read-only.

Add a command to launch language server manually #67

Open
laughedelic opened this issue Apr 28, 2018 · 0 comments
Open

Add a command to launch language server manually #67

laughedelic opened this issue Apr 28, 2018 · 0 comments

Comments

@laughedelic
Copy link
Owner

Sometimes it's useful not to turn off automatic server launching (automatic server selection off and default server none), but then there is not way to launch a server in the current project.

It could be either 3 separate commands, one for each server, or one command and a dialog to choose one. It could also suggest the server depending on the project setup (as if automatic server selection was on).

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant