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
WorkspaceEdits now can also express resource, creation, renames and deletes. An interesting aspect is how operations on the same resource are handled.
E.g. edits followed by renames followed by more edits
The API spec mentions something about grouping of edits for the same resource.
Not really clear to me what happens with: edit resA, rename resA -> resB, create resA, set resA
In order to keep things well defined, I'd suggest to always collect the changes in the order they were announced and apply them exactly the same way.
The text was updated successfully, but these errors were encountered:
aeschli
changed the title
WorkspaceEdit: Simplify how operations on same URI are applied
WorkspaceEdit: Clarify how operations on same URI are applied
Jan 31, 2018
Testing #42334
WorkspaceEdits now can also express resource, creation, renames and deletes. An interesting aspect is how operations on the same resource are handled.
E.g. edits followed by renames followed by more edits
The API spec mentions something about grouping of edits for the same resource.
Not really clear to me what happens with:
edit resA
,rename resA -> resB
,create resA
,set resA
In order to keep things well defined, I'd suggest to always collect the changes in the order they were announced and apply them exactly the same way.
The text was updated successfully, but these errors were encountered: