Problem or use case

Recently switched to Orca from cmux and — loving the product so far — there are a few muscle-memory hotkeys I miss. (The focus here is the proposal below, not the comparison.)

Correction to an earlier version of this issue: workspace switching by number (⌘1…9) already exists in Orca — it shipped in #394 ("Cmd+1–9 worktree switching with hint overlay") and was later moved to main-process interception in #469. It's intentionally hardcoded (not in the customizable shortcuts catalog and not shown in Settings). So that ask is already covered. 🎉

What's still missing is the tab-level equivalent and keyboard rename for both tabs and workspaces:

• No way to jump to a tab by number within the current workspace.
• No keyboard shortcut to rename a tab or rename a workspace — rename is reachable via double-click / context menu, but not the keyboard.

Proposed solution

Three additions:

• ⌃1…9 — jump to tab N within the current workspace (the ⌃ counterpart to the existing ⌘1…9 workspace jump). Like the workspace jump, this should survive terminal focus, so it likely belongs in the same main-process interception path rather than the rebindable catalog.
• ⌘R — rename the active tab.
• ⌘⇧R — rename the active workspace.

For reference, cmux ships all of these — see its shortcut list (selectSurfaceByNumber, renameTab, renameWorkspace).

Alternatives or additional context

• Cross-platform: on Windows/Linux the existing workspace jump is already Ctrl+1…9 (primary modifier), so a tab jump there can't reuse Ctrl+1…9 — it'd need a different modifier (e.g. Alt+1…9). macOS is clean (⌘ vs ⌃).
• The two renames are app-context actions and fit the customizable catalog (Add customizable keyboard shortcuts #2581); ⌘R / ⌘⇧R overlap with browser.reload / app.forceReload, which can be resolved by scoping rename to app focus (as cmux does) and/or shipping the rename defaults unbound on platforms where they'd collide.
• Related: Add a keyboard shortcut to delete the current workspace #2808 (keyboard shortcut to delete current workspace).