What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)
This PR should fix a console log bug associated with spam edits.
What is the current behavior? (You can also link to an open issue here)
This PR refers to #70 in which case the output window would show that an error had occurred on the language server. The exception throw was related to TextDocument.applyEdits for the incremental document sync between the client and server. In some cases typically holding the undo button and sending edits from the client to server in some cases the client would send multiple edits in one message telling the server to make many edits to the same location.
What is the new behavior (if this is a feature change)?
The server now applies each edit in turn creating a new TextDocument for each edit. Initial testing shows this it is rare for the client to send more than one edit at a time on vscode. In the worse case if other clients batch edits this may result in a small performance dip on those clients.
What kind of change does this PR introduce? (Bug fix, feature, docs update, ...) This PR should fix a console log bug associated with spam edits.
What is the current behavior? (You can also link to an open issue here) This PR refers to #70 in which case the output window would show that an error had occurred on the language server. The exception throw was related to
TextDocument.applyEditsfor the incremental document sync between the client and server. In some cases typically holding the undo button and sending edits from the client to server in some cases the client would send multiple edits in one message telling the server to make many edits to the same location.What is the new behavior (if this is a feature change)? The server now applies each edit in turn creating a new
TextDocumentfor each edit. Initial testing shows this it is rare for the client to send more than one edit at a time on vscode. In the worse case if other clients batch edits this may result in a small performance dip on those clients.