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 Dec 29, 2022. It is now read-only.
Data flow between the editor and document would be simpler if the editor always sent the information needed to fully execute a command or query document state, without any state being kept in the DocumentServer (except for node ID mappings).
This would be a fairly large refactor because of the way CursorManager and PositionWalker work. Currently they require direct node references. We would need a way to track cursor position and request ranges based on a sourceId + offset.
The text was updated successfully, but these errors were encountered:
Data flow between the editor and document would be simpler if the editor always sent the information needed to fully execute a command or query document state, without any state being kept in the DocumentServer (except for node ID mappings).
This would be a fairly large refactor because of the way CursorManager and PositionWalker work. Currently they require direct node references. We would need a way to track cursor position and request ranges based on a sourceId + offset.
The text was updated successfully, but these errors were encountered: