Skip to content
Discussion options

You must be logged in to vote

Our README explains how to set up our language server in jetbrains IDEs, using a generic language server plugin. Maybe that can provide you with a clutch for now?

Having a special plugin would of course be much nicer :-)

See below:

@kizeevov did a Intellij plugin here.

Replies: 3 comments 10 replies

Comment options

You must be logged in to vote
1 reply
@megabyte6
Comment options

Comment options

You must be logged in to vote
1 reply
@megabyte6
Comment options

Answer selected by megabyte6
Comment options

You must be logged in to vote
8 replies
@hunger
Comment options

hunger Oct 10, 2023
Collaborator

@kizeevov
Comment options

@hunger
Comment options

hunger Oct 10, 2023
Collaborator

@kizeevov
Comment options

@hunger
Comment options

hunger Oct 10, 2023
Collaborator

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Ideas
Labels
None yet
7 participants