diff options
Diffstat (limited to 'src/client/shell/endpoints.rs')
| -rw-r--r-- | src/client/shell/endpoints.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/client/shell/endpoints.rs b/src/client/shell/endpoints.rs index c27358e5..3d1d419b 100644 --- a/src/client/shell/endpoints.rs +++ b/src/client/shell/endpoints.rs @@ -195,6 +195,10 @@ impl ClientShellState { } pub(crate) fn activate_endpoint_projection(&mut self, endpoint_id: &ClientEndpointId) -> bool { + let pending_agent_reveal = self + .pending_agent_reveal + .take_if(|(target_endpoint, _)| target_endpoint == endpoint_id); + let agent_body_height = self.hits.agent_body.height; let Some(endpoint) = self .endpoints .iter() @@ -221,6 +225,9 @@ impl ClientShellState { // The aggregate agent list belongs to the client, not one endpoint. self.agent_scroll = agent_scroll; } + if let Some((_, pane_id)) = pending_agent_reveal { + self.reveal_endpoint_agent(endpoint_id, &pane_id, agent_body_height); + } true } |
