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

Determine Buffer::is_dirty based on the rope's fingerprint

Browse source
This commit is contained in:
Antonio Scandurra 2022-06-17 12:38:25 +02:00
parent c31a233aad
commit 6f7a893ec9
9 changed files with 127 additions and 43 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -364,6 +364,7 @@ message BufferSaved {
uint64 buffer_id = 2;
repeated VectorClockEntry version = 3;
Timestamp mtime = 4;
string fingerprint = 5;
}
message BufferReloaded {
@ -371,6 +372,7 @@ message BufferReloaded {
uint64 buffer_id = 2;
repeated VectorClockEntry version = 3;
Timestamp mtime = 4;
string fingerprint = 5;
}
message ReloadBuffers {