[PR #5015] [MERGED] Add a note about binding multiple keys #26072

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

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/5015
Author: @zadjii-msft
Created: 3/19/2020
Status: Merged
Merged: 3/27/2020
Merged by: @zadjii-msft

Base: masterHead: zadjii-msft-patch-2


📝 Commits (3)

  • c6edd00 Add a note about Binding multiple keys
  • 102659c Update doc/user-docs/UsingJsonSettings.md
  • ffa13d1 update the comment here to be a little clearer

📊 Changes

1 file changed (+16 additions, -0 deletions)

View changed files

📝 doc/user-docs/UsingJsonSettings.md (+16 -0)

📄 Description

From discussion in #4992

  • This is a docs update

🔄 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/5015 **Author:** [@zadjii-msft](https://github.com/zadjii-msft) **Created:** 3/19/2020 **Status:** ✅ Merged **Merged:** 3/27/2020 **Merged by:** [@zadjii-msft](https://github.com/zadjii-msft) **Base:** `master` ← **Head:** `zadjii-msft-patch-2` --- ### 📝 Commits (3) - [`c6edd00`](https://github.com/microsoft/terminal/commit/c6edd0058abe430097920850af847a23c2f7121b) Add a note about Binding multiple keys - [`102659c`](https://github.com/microsoft/terminal/commit/102659cfaf9fd1f49c3a583c1776dfde44b5f8c8) Update doc/user-docs/UsingJsonSettings.md - [`ffa13d1`](https://github.com/microsoft/terminal/commit/ffa13d188ae92dcbe915c7430201a7e5d3c67ec5) update the comment here to be a little clearer ### 📊 Changes **1 file changed** (+16 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `doc/user-docs/UsingJsonSettings.md` (+16 -0) </details> ### 📄 Description From discussion in #4992 * [x] This is a docs update --- <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:13:44 +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#26072