[PR #623] [MERGED] add shortcut alt-* for select tab #24214

Open
opened 2026-01-31 09:02:01 +00:00 by claunia · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/623
Author: @bef178
Created: 5/9/2019
Status: Merged
Merged: 5/10/2019
Merged by: @miniksa

Base: masterHead: add-select-tab-shortcut


📝 Commits (2)

  • 82f5f33 add shortcut alt-* for select tab
  • da93d09 all right, 0 for 10th

📊 Changes

5 files changed (+85 additions, -2 deletions)

View changed files

📝 src/cascadia/TerminalApp/App.cpp (+11 -0)
📝 src/cascadia/TerminalApp/App.h (+1 -0)
📝 src/cascadia/TerminalApp/AppKeyBindings.cpp (+31 -0)
📝 src/cascadia/TerminalApp/AppKeyBindings.idl (+11 -2)
📝 src/cascadia/TerminalApp/CascadiaSettings.cpp (+31 -0)

📄 Description

alt-1 for the 1st tab, alt-2 for the 2nd tab, etc

fix #573


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/microsoft/terminal/pull/623 **Author:** [@bef178](https://github.com/bef178) **Created:** 5/9/2019 **Status:** ✅ Merged **Merged:** 5/10/2019 **Merged by:** [@miniksa](https://github.com/miniksa) **Base:** `master` ← **Head:** `add-select-tab-shortcut` --- ### 📝 Commits (2) - [`82f5f33`](https://github.com/microsoft/terminal/commit/82f5f33389aa4040bdabc19009c9f1c13eaaa172) add shortcut alt-* for select tab - [`da93d09`](https://github.com/microsoft/terminal/commit/da93d092da86481b345c27ac4a3d6690b0cba087) all right, 0 for 10th ### 📊 Changes **5 files changed** (+85 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `src/cascadia/TerminalApp/App.cpp` (+11 -0) 📝 `src/cascadia/TerminalApp/App.h` (+1 -0) 📝 `src/cascadia/TerminalApp/AppKeyBindings.cpp` (+31 -0) 📝 `src/cascadia/TerminalApp/AppKeyBindings.idl` (+11 -2) 📝 `src/cascadia/TerminalApp/CascadiaSettings.cpp` (+31 -0) </details> ### 📄 Description alt-1 for the 1st tab, alt-2 for the 2nd tab, etc fix #573 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
claunia added the pull-request label 2026-01-31 09:02:01 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#24214