Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Send full multibuffer anchors to following peers

Browse source
This commit is contained in:
Max Brunsfeld 2022-11-28 18:00:38 -08:00
parent 3eac3e20d5
commit 6d9b55a654
4 changed files with 73 additions and 74 deletions
Download patch file Download diff file Expand all files Collapse all files

21
crates/rpc/proto/zed.proto
View file

@ -848,7 +848,7 @@ message UpdateView {
message Editor {
repeated Selection selections = 1;
Anchor scroll_top_anchor = 2;
EditorAnchor scroll_top_anchor = 2;
float scroll_x = 3;
float scroll_y = 4;
}
@ -865,7 +865,7 @@ message View {
message Editor {
uint64 buffer_id = 1;
repeated Selection selections = 2;
Anchor scroll_top_anchor = 3;
EditorAnchor scroll_top_anchor = 3;
float scroll_x = 4;
float scroll_y = 5;
}
@ -920,21 +920,18 @@ enum LineEnding {
Windows = 1;
}
message SelectionSet {
uint32 replica_id = 1;
repeated Selection selections = 2;
uint32 lamport_timestamp = 3;
bool line_mode = 4;
CursorShape cursor_shape = 5;
}
message Selection {
uint64 id = 1;
Anchor start = 2;
Anchor end = 3;
EditorAnchor start = 2;
EditorAnchor end = 3;
bool reversed = 4;
}
message EditorAnchor {
uint64 excerpt_id = 1;
Anchor anchor = 2;
}
enum CursorShape {
CursorBar = 0;
CursorBlock = 1;