zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-26 20:32:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

Apply BufferReloaded message to incomplete remote buffers

Browse Source
This commit is contained in:
Antonio Scandurra 2023-04-10 08:41:31 +02:00
parent acbf9b55d7
commit 7f73ebdab5
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
crates/project/src/project.rs
View File

@ -6310,7 +6310,13 @@ impl Project {
let buffer = this
.opened_buffers
.get(&payload.buffer_id)
.and_then(|buffer| buffer.upgrade(cx));
.and_then(|buffer| buffer.upgrade(cx))
.or_else(|| {
this.incomplete_remote_buffers
.get(&payload.buffer_id)
.cloned()
.flatten()
});
if let Some(buffer) = buffer {
buffer.update(cx, |buffer, cx| {
buffer.did_reload(version, fingerprint, line_ending, mtime, cx);