Remove uneeded Workspace::project_remote_id_changed method

This commit is contained in:
Max Brunsfeld 2023-09-29 08:54:23 -07:00
parent ca0a4bdf8e
commit 026b3a1d0f

View file

@ -622,9 +622,8 @@ impl Workspace {
cx.observe(&project, |_, _, cx| cx.notify()).detach();
cx.subscribe(&project, move |this, _, event, cx| {
match event {
project::Event::RemoteIdChanged(remote_id) => {
project::Event::RemoteIdChanged(_) => {
this.update_window_title(cx);
this.project_remote_id_changed(*remote_id, cx);
}
project::Event::CollaboratorLeft(peer_id) => {
@ -776,7 +775,8 @@ impl Workspace {
}),
];
let mut this = Workspace {
cx.defer(|this, cx| this.update_window_title(cx));
Workspace {
weak_self: weak_handle.clone(),
modal: None,
zoomed: None,
@ -805,10 +805,7 @@ impl Workspace {
leader_updates_tx,
subscriptions,
pane_history_timestamp,
};
this.project_remote_id_changed(project.read(cx).remote_id(), cx);
cx.defer(|this, cx| this.update_window_title(cx));
this
}
}
fn new_local(
@ -2512,10 +2509,6 @@ impl Workspace {
&self.active_pane
}
fn project_remote_id_changed(&mut self, _project_id: Option<u64>, _cx: &mut ViewContext<Self>) {
// TODO
}
fn collaborator_left(&mut self, peer_id: PeerId, cx: &mut ViewContext<Self>) {
if let Some(states_by_pane) = self.follower_states_by_leader.remove(&peer_id) {
for state in states_by_pane.into_values() {