Skip to content

Add Ctrl+` as terminal toggle shortcut#40

Merged
BunsDev merged 1 commit into
mainfrom
okcode/terminal-shortcut-toggle
Mar 28, 2026
Merged

Add Ctrl+` as terminal toggle shortcut#40
BunsDev merged 1 commit into
mainfrom
okcode/terminal-shortcut-toggle

Conversation

@BunsDev
Copy link
Copy Markdown
Member

@BunsDev BunsDev commented Mar 28, 2026

Summary

  • Add Ctrl+`` as an additional terminal.toggleshortcut alongside the existingmod+j` binding.
  • Update server-side default keybindings and web shortcut matching to recognize the new toggle shortcut on all platforms.
  • Extend tests to verify the new binding is persisted and matched correctly.

Testing

  • Not run (PR content generation only)

- add ctrl+` as an additional terminal.toggle binding
- update server/web keybinding tests and docs
@vercel
Copy link
Copy Markdown

vercel Bot commented Mar 28, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
okcode-marketing Ready Ready Preview Mar 28, 2026 1:45am

@github-actions github-actions Bot added size:S vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. labels Mar 28, 2026
@BunsDev BunsDev merged commit 29ccdb8 into main Mar 28, 2026
8 of 9 checks passed
@BunsDev BunsDev deleted the okcode/terminal-shortcut-toggle branch March 31, 2026 21:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:S vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant