Stop following when leader disconnects

2022-03-22 11:16:04 +01:00
parent ffaf409a31
commit e5a99cf8cd
3 changed files with 60 additions and 10 deletions
@@ -125,6 +125,7 @@ pub enum Event {
    DiskBasedDiagnosticsFinished,
    DiagnosticsUpdated(ProjectPath),
    RemoteIdChanged(Option<u64>),
+    CollaboratorLeft(PeerId),
 }

 enum LanguageServerEvent {
@@ -3368,6 +3369,7 @@ impl Project {
                    buffer.update(cx, |buffer, cx| buffer.remove_peer(replica_id, cx));
                }
            }
+            cx.emit(Event::CollaboratorLeft(peer_id));
            cx.notify();
            Ok(())
        })