Closed ofrank123 closed 4 years ago
Awesome, thank you for the PR and your work on the godot PR.
I’ll merge this when I get home later today.
To be clear, this will break this plugin until the PR on Godot is merged, so you should wait until then. It shouldn't be more than a few days at this point.
Okay, cool. That's a good idea, I'll wait until the Godot PR is merged.
Godot PR was just merged, feel free to merge this
I've created a PR on the main godot repo that switches the language server from websockets to raw TCP. This PR updates this plugin to work with that change.