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
It is critical that the order of read and write messages/notifications is kept when invoking the language server. Currently if the client sends a read and write request to the agent the order might be changed and as a consequence the read operation would be executed on the wrong state.
I think to preserve that we need to communicate document version ids with every REST call.
It is critical that the order of read and write messages/notifications is kept when invoking the language server. Currently if the client sends a read and write request to the agent the order might be changed and as a consequence the read operation would be executed on the wrong state.
I think to preserve that we need to communicate document version ids with every REST call.
See also : microsoft/language-server-protocol#12
The text was updated successfully, but these errors were encountered: