diff options
Diffstat (limited to 'src/app/terminal_targets.rs')
| -rw-r--r-- | src/app/terminal_targets.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/app/terminal_targets.rs b/src/app/terminal_targets.rs index 94cf89d0..71ca83bb 100644 --- a/src/app/terminal_targets.rs +++ b/src/app/terminal_targets.rs @@ -65,8 +65,10 @@ impl App { .terminals .values() .find(|terminal| terminal.id.to_string() == candidate.terminal_id) - .and_then(|terminal| terminal.manual_label.as_deref()) - .is_some_and(|label| label == target) + .is_some_and(|terminal| { + terminal.agent_name.as_deref() == Some(target) + || terminal.effective_agent_label() == Some(target) + }) }) .collect(); if let Some(resolved) = self.single_terminal_match(target, name_matches)? { |