diff options
| author | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-07-07 01:19:39 +0300 |
|---|---|---|
| committer | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-07-07 01:20:13 +0300 |
| commit | 17e2b2b878ca9b8cad60fd26baef549479c13081 (patch) | |
| tree | afc5947934ee3dd382805952605224de4c77ce13 /src/app/api/workspaces.rs | |
| parent | 4f22e9a73ba4d9029468e078235c5f5ce629d179 (diff) | |
fix: honor prefix in copy mode
refs #681
Based on PR #1092 by @reobin.
Co-authored-by: Robin Gagnon <me@reobin.dev>
Diffstat (limited to 'src/app/api/workspaces.rs')
| -rw-r--r-- | src/app/api/workspaces.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/app/api/workspaces.rs b/src/app/api/workspaces.rs index 19e4f6ae..8899ec44 100644 --- a/src/app/api/workspaces.rs +++ b/src/app/api/workspaces.rs @@ -175,9 +175,7 @@ impl App { .unwrap_or_default(); self.state.selected = index; self.state.close_selected_workspace(); - for pane_id in pane_ids { - self.state.plugin_panes.remove(&pane_id); - } + self.state.remove_plugin_pane_records(pane_ids); self.shutdown_detached_terminal_runtimes(); self.emit_event(EventEnvelope { event: EventKind::WorkspaceClosed, |