Merge pull request #929 from zed-industries/non-uniform-batched-edits

Allow batched edits where each range is associated with different insertion text
2022-04-29 16:14:38 -07:00
parent cddafa5fef 2eb1c107ce
commit d4bef67cf2
15 changed files with 539 additions and 487 deletions
@@ -729,7 +729,7 @@ message Operation {
        uint32 lamport_timestamp = 3;
        repeated VectorClockEntry version = 4;
        repeated Range ranges = 5;
-        optional string new_text = 6;
+        repeated string new_text = 6;
    }

    message Undo {