diff options
| author | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-06-14 05:30:20 +0300 |
|---|---|---|
| committer | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-06-14 05:30:20 +0300 |
| commit | 226e87306deaba017d36583f51ae34e42b303aad (patch) | |
| tree | 2a1155689b75007c15d93735aedfa58db7a05edf /src/workspace.rs | |
| parent | 17544c36ee397233e2f7b3319d86e3b517e3b5d0 (diff) | |
fix: preserve tab identity across restored sessions
Diffstat (limited to 'src/workspace.rs')
| -rw-r--r-- | src/workspace.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/workspace.rs b/src/workspace.rs index c4c91785..f06fe8ab 100644 --- a/src/workspace.rs +++ b/src/workspace.rs @@ -109,11 +109,11 @@ pub(crate) fn public_workspace_number(id: &str) -> Option<usize> { id.strip_prefix('w').and_then(decode_public_number) } -fn public_pane_id_for_number(workspace_id: &str, pane_number: usize) -> String { +pub(crate) fn public_pane_id_for_number(workspace_id: &str, pane_number: usize) -> String { format!("{workspace_id}:p{}", encode_public_number(pane_number)) } -fn public_tab_id_for_number(workspace_id: &str, tab_number: usize) -> String { +pub(crate) fn public_tab_id_for_number(workspace_id: &str, tab_number: usize) -> String { format!("{workspace_id}:t{}", encode_public_number(tab_number)) } |
