In an online playground I am currently developing (https://github.com/DDP-Projekt/Spielplatz) I am using my fork of this repos with this little modification to make the language server work with an arbitrary websocket connection.
Maybe you want to incorporate this change into the main repo, maybe not.
If not, I'm fine just using my fork.
In an online playground I am currently developing (https://github.com/DDP-Projekt/Spielplatz) I am using my fork of this repos with this little modification to make the language server work with an arbitrary websocket connection.
Maybe you want to incorporate this change into the main repo, maybe not. If not, I'm fine just using my fork.
Example usage: https://github.com/DDP-Projekt/Spielplatz/blob/main/server/server.go#L120C12-L120C26