Maintain active selections as editors are focused and blurred

2021-06-28 12:37:58 +02:00
parent 0bc8663d36
commit e72b4ae03d
3 changed files with 140 additions and 40 deletions
@@ -124,6 +124,7 @@ message Operation {
        Edit edit = 1;
        Undo undo = 2;
        UpdateSelections update_selections = 3;
+        SetActiveSelections set_active_selections = 4;
    }

    message Edit {
@@ -150,6 +151,12 @@ message Operation {
        uint32 lamport_timestamp = 3;
        repeated Selection selections = 4;
    }
+
+    message SetActiveSelections {
+        uint32 replica_id = 1;
+        optional uint32 local_timestamp = 2;
+        uint32 lamport_timestamp = 3;
+    }
 }

 message VectorClockEntry {