Use formatting options

2023-05-25 09:45:50 +03:00
parent 3327e8a6dd
commit b9dabb165e
4 changed files with 48 additions and 18 deletions
@@ -676,9 +676,14 @@ message PerformRename {
 message OnTypeFormatting {
    uint64 project_id = 1;
    uint64 buffer_id = 2;
-    Anchor position = 3;
-    string trigger = 4;
-    repeated VectorClockEntry version = 5;
+    FormattingOptions options = 3;
+    Anchor position = 4;
+    string trigger = 5;
+    repeated VectorClockEntry version = 6;
+}
+
+message FormattingOptions {
+    uint32 tab_size = 1;
 }

 message OnTypeFormattingResponse {