Add cursor blink setting and replicate cursor shape to remote collaborators

2022-10-17 16:20:47 -07:00
parent 318b923bac
commit 40c3e925ad
15 changed files with 128 additions and 63 deletions
@@ -908,6 +908,7 @@ message SelectionSet {
    repeated Selection selections = 2;
    uint32 lamport_timestamp = 3;
    bool line_mode = 4;
+    CursorShape cursor_shape = 5;
 }

 message Selection {
@@ -917,6 +918,13 @@ message Selection {
    bool reversed = 4;
 }

+enum CursorShape {
+    CursorBar = 0;
+    CursorBlock = 1;
+    CursorUnderscore = 2;
+    CursorHollow = 3;
+}
+
 message Anchor {
    uint32 replica_id = 1;
    uint32 local_timestamp = 2;
@@ -982,6 +990,7 @@ message Operation {
        uint32 lamport_timestamp = 2;
        repeated Selection selections = 3;
        bool line_mode = 4;
+        CursorShape cursor_shape = 5;
    }

    message UpdateCompletionTriggers {