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
When the user edits the code, a change-notification is sent to the server. While waiting for new diagnostics, the client should update existing diagnostics. In particular, all diagnostics that are after a changed text-entry (removal or insertion) should just be updated. This gives a much smoother editing experience (and is, what vscode does).
The text was updated successfully, but these errors were encountered:
When the user edits the code, a change-notification is sent to the server. While waiting for new diagnostics, the client should update existing diagnostics. In particular, all diagnostics that are after a changed text-entry (removal or insertion) should just be updated. This gives a much smoother editing experience (and is, what vscode does).
The text was updated successfully, but these errors were encountered: