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

Replicate fractional component of leader's scroll position

Browse source 
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Max Brunsfeld 2022-03-22 17:20:13 -07:00
parent 880eaa268b
commit 8699dd9c56
3 changed files with 26 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -580,7 +580,9 @@ message UpdateView {
message Editor {
repeated Selection selections = 1;
Anchor scroll_top = 2;
Anchor scroll_top_anchor = 2;
float scroll_x = 3;
float scroll_y = 4;
}
}
@ -595,7 +597,9 @@ message View {
message Editor {
uint64 buffer_id = 1;
repeated Selection selections = 2;
Anchor scroll_top = 3;
Anchor scroll_top_anchor = 3;
float scroll_x = 4;
float scroll_y = 5;
}
}