Remove worktree_id from buffer-related RPC messages

This commit is contained in:
Max Brunsfeld 2022-01-21 16:23:39 -08:00
parent 03dc1e5aea
commit 34e42c0c5f
3 changed files with 11 additions and 31 deletions

View file

@ -144,35 +144,30 @@ message OpenBufferResponse {
message CloseBuffer {
uint64 project_id = 1;
uint64 worktree_id = 2;
uint64 buffer_id = 3;
uint64 buffer_id = 2;
}
message UpdateBuffer {
uint64 project_id = 1;
uint64 worktree_id = 2;
uint64 buffer_id = 3;
uint64 buffer_id = 2;
repeated Operation operations = 4;
}
message SaveBuffer {
uint64 project_id = 1;
uint64 worktree_id = 2;
uint64 buffer_id = 3;
uint64 buffer_id = 2;
}
message BufferSaved {
uint64 project_id = 1;
uint64 worktree_id = 2;
uint64 buffer_id = 3;
repeated VectorClockEntry version = 4;
Timestamp mtime = 5;
uint64 buffer_id = 2;
repeated VectorClockEntry version = 3;
Timestamp mtime = 4;
}
message FormatBuffer {
uint64 project_id = 1;
uint64 worktree_id = 2;
uint64 buffer_id = 3;
uint64 buffer_id = 2;
}
message UpdateDiagnosticSummary {