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
{{ message }}
This repository has been archived by the owner on Aug 8, 2023. It is now read-only.
When initially parsing files, we read those files from disk.
If the files are edited by the user before we are done parsing, we might try to insert characters that are out of bounds.
This might also be due to (re)loading the workspace containing an unsaved file.
If the disk content is different than the one in memory, we start with an incorrect text and subsequent modifications might fail.
The text was updated successfully, but these errors were encountered:
This seems to happen due to a race condition:
When initially parsing files, we read those files from disk.
If the files are edited by the user before we are done parsing, we might try to insert characters that are out of bounds.
This might also be due to (re)loading the workspace containing an unsaved file.
If the disk content is different than the one in memory, we start with an incorrect text and subsequent modifications might fail.
The text was updated successfully, but these errors were encountered: