You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, Connection is a big while loop reading/writing json back and forth. This has worked nicely so far but while implementing textDocument/codeActions I found myself needing to send a workspace/applyEdit request from the server to the client. This was not that hard to implement in the end, but it took me a while to figure out what I needed to do.
It would be nice to refactor the code a bit to use requests: Observable[JsValue] and expose a client: LanguageClient where we can do methods like client.workspace.applyEdit(): Task[ApplyWorkspaceEditResponse].
The text was updated successfully, but these errors were encountered:
Currently,
Connection
is a big while loop reading/writing json back and forth. This has worked nicely so far but while implementingtextDocument/codeActions
I found myself needing to send aworkspace/applyEdit
request from the server to the client. This was not that hard to implement in the end, but it took me a while to figure out what I needed to do.It would be nice to refactor the code a bit to use
requests: Observable[JsValue]
and expose aclient: LanguageClient
where we can do methods likeclient.workspace.applyEdit(): Task[ApplyWorkspaceEditResponse]
.The text was updated successfully, but these errors were encountered: