Broadcast completion triggers to remote participants

2022-02-02 14:07:41 +01:00
parent ed549e352f
commit 91e5c2dfac
5 changed files with 144 additions and 88 deletions
@@ -358,6 +358,7 @@ message BufferState {
    repeated Diagnostic diagnostics = 9;
    uint32 lamport_timestamp = 10;
    repeated Operation deferred_operations = 11;
+    repeated string completion_triggers = 12;
 }

 message BufferFragment {
@@ -428,6 +429,7 @@ message Operation {
        Undo undo = 2;
        UpdateSelections update_selections = 3;
        UpdateDiagnostics update_diagnostics = 4;
+        UpdateCompletionTriggers update_completion_triggers = 5;
    }

    message Edit {
@@ -453,6 +455,10 @@ message Operation {
        uint32 lamport_timestamp = 2;
        repeated Selection selections = 3;
    }
+
+    message UpdateCompletionTriggers {
+        repeated string triggers = 1;
+    }
 }

 message UndoMapEntry {