Automatically unfollow when editing, scrolling or changing selections

2022-03-22 09:17:01 +01:00
parent c550fc3f01
commit 3117554568
14 changed files with 214 additions and 60 deletions
@@ -1750,7 +1750,7 @@ impl Workspace {
        None
    }

-    fn leader_for_pane(&self, pane: &ViewHandle<Pane>) -> Option<PeerId> {
+    pub fn leader_for_pane(&self, pane: &ViewHandle<Pane>) -> Option<PeerId> {
        self.follower_states_by_leader
            .iter()
            .find_map(|(leader_id, state)| {