Skip to content

Disambiguate terminal split from tab group split labels#684

Merged
brennanb2025 merged 1 commit into
mainfrom
brennanb2025/terminal-tab-group-split-disambiguation
Apr 16, 2026
Merged

Disambiguate terminal split from tab group split labels#684
brennanb2025 merged 1 commit into
mainfrom
brennanb2025/terminal-tab-group-split-disambiguation

Conversation

@brennanb2025

@brennanb2025 brennanb2025 commented Apr 16, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Rename "Split Right" / "Split Down" → "Split Terminal Right" / "Split Terminal Down" in the terminal pane context menu and shortcuts settings, so they're clearly distinct from the tab group "Split Right/Down" actions
  • Update shortcuts pane labels from "Split pane right/down" → "Split terminal right/down" to match
  • Widen the terminal context menu (w-48w-52) to prevent label wrapping

Test plan

  • Right-click inside a terminal pane — verify menu says "Split Terminal Right" / "Split Terminal Down" and neither label wraps
  • Right-click a tab in the tab bar — verify menu still says "Split Right" / "Split Down" (unchanged)
  • Open Settings → Shortcuts → Terminal Panes — verify labels say "Split terminal right" / "Split terminal down"

Rename "Split Right/Down" to "Split Terminal Right/Down" in the
terminal context menu and shortcuts pane so they are clearly distinct
from the tab group "Split Right/Down" actions.  Widen the context menu
(w-48 → w-52) to prevent label wrapping.
@brennanb2025
brennanb2025 merged commit 883a8f4 into main Apr 16, 2026
1 check passed
@brennanb2025
brennanb2025 deleted the brennanb2025/terminal-tab-group-split-disambiguation branch April 16, 2026 02:04
thomaszdxsn pushed a commit to thomaszdxsn/orca that referenced this pull request Jun 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant