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

Show host in titlebar

Browse source 
Co-Authored-By: Max Brunsfeld <max@zed.dev>
This commit is contained in:
Conrad Irwin 2023-09-29 16:02:36 -06:00
parent 219715449d
commit 1cfc2f0c07
7 changed files with 110 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

18
crates/workspace/src/workspace.rs
View file

@ -2608,6 +2608,24 @@ impl Workspace {
.and_then(|leader_id| self.toggle_follow(leader_id, cx))
}
pub fn follow(
&mut self,
leader_id: PeerId,
cx: &mut ViewContext<Self>,
) -> Option<Task<Result<()>>> {
for (existing_leader_id, states_by_pane) in &mut self.follower_states_by_leader {
if leader_id == *existing_leader_id {
for (pane, _) in states_by_pane {
cx.focus(pane);
return None;
}
}
}
// not currently following, so follow.
self.toggle_follow(leader_id, cx)
}
pub fn unfollow(
&mut self,
pane: &ViewHandle<Pane>,