-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove delay between receiving an LMS Update API request and pushing an update to subscription #36
Comments
hpopov
added a commit
that referenced
this issue
Oct 5, 2023
hpopov
added a commit
that referenced
this issue
Oct 5, 2023
So that they are calculated correctly for LMS Update API changes (e.g., name update)
hpopov
added a commit
that referenced
this issue
Oct 5, 2023
hpopov
added a commit
that referenced
this issue
Oct 5, 2023
…model If previous is Identity, then it is === to current.identity, which means it will never assign properties to Update, since theier values will always be identical
hpopov
added a commit
that referenced
this issue
Oct 5, 2023
…hout delay when modifying source from LMS Update API
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently, when an update request is received, the TextEdit is computed and applied to an open WorkspaceDocument through an LSP client. The changes are subsequently propagated to LSP server, and go through all DocumentBuilder steps (including model reconciliation, changes computation and pushing an update). When the calculated updates are pushed through LMSDocumentBuilder, there are a 300ms delay designed to accumulate also subsequent changes (given the document is modified manually by the user) to not clog the subscription channel with too many update messages.
However, this delay should be disregarded, when an update comes from LMS Update API, since there will be no immediate text edits following.
The text was updated successfully, but these errors were encountered: