diff options
| author | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-05-17 01:41:17 +0300 |
|---|---|---|
| committer | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-05-17 01:41:17 +0300 |
| commit | f7fe0f203e0f349df33819aab239c0aade016f79 (patch) | |
| tree | 51540d4a040a1a2d32ecf73c5c2d9277a7d4efef /src/app/terminal_targets.rs | |
| parent | 3ecacfddae86d603bfd0d1a0c01602b1d34b1df3 (diff) | |
fix: polish terminal-core agent semantics
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)? { |