diff options
| author | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-06-12 19:07:07 +0300 |
|---|---|---|
| committer | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-06-12 19:10:09 +0300 |
| commit | f7a7da03fc27cc6fe4e6a44dabddcd303f939bb9 (patch) | |
| tree | 69a00241e4500703bb723b64dd0060cc83730a0b /src/app/api/workspaces.rs | |
| parent | 53429206b736aa0fcfb1c5bfc1c0b11dcca3a059 (diff) | |
fix: stabilize public pane and tab ids
refs #569
Diffstat (limited to 'src/app/api/workspaces.rs')
| -rw-r--r-- | src/app/api/workspaces.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/app/api/workspaces.rs b/src/app/api/workspaces.rs index 92b41486..e1966adf 100644 --- a/src/app/api/workspaces.rs +++ b/src/app/api/workspaces.rs @@ -146,14 +146,13 @@ impl App { if self.state.workspaces.get(index).is_none() { return workspace_not_found(id, &target.workspace_id); } + let workspace_id = self.public_workspace_id(index); self.state.selected = index; self.state.close_selected_workspace(); self.shutdown_detached_terminal_runtimes(); self.emit_event(EventEnvelope { event: EventKind::WorkspaceClosed, - data: EventData::WorkspaceClosed { - workspace_id: target.workspace_id, - }, + data: EventData::WorkspaceClosed { workspace_id }, }); encode_success(id, ResponseResult::Ok {}) |
