[PR #5915] [MERGED] Add Mini-Spec for openSettings #26534

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

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/5915
Author: @carlos-zamora
Created: 5/14/2020
Status: Merged
Merged: 6/11/2020
Merged by: @carlos-zamora

Base: masterHead: dev/cazamor/spec/settings-kbd


📝 Commits (5)

  • a4e23b5 Add Mini-Spec for openSettings
  • 85a7438 PR Feedback
  • 667dd27 add conclusion and mention 'allSettingsFiles'
  • d93df96 restructure spec for better flow
  • d53f787 add a future consideration

📊 Changes

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

View changed files

doc/specs/#2557 - Settings Keybinding.md (+135 -0)

📄 Description

Summary of the Pull Request

As I was looking at #2557, I realized that the addition of a Settings UI could make things a little weird. I decided to add a mini spec to discuss what to do.

The implementation of this feature shouldn't be too difficult. I more just want to openly discuss what we think the right approach should be.

References

#2557 - open defaults keybinding


🔄 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/5915 **Author:** [@carlos-zamora](https://github.com/carlos-zamora) **Created:** 5/14/2020 **Status:** ✅ Merged **Merged:** 6/11/2020 **Merged by:** [@carlos-zamora](https://github.com/carlos-zamora) **Base:** `master` ← **Head:** `dev/cazamor/spec/settings-kbd` --- ### 📝 Commits (5) - [`a4e23b5`](https://github.com/microsoft/terminal/commit/a4e23b530f6998d5933bd8085114f7095947a2d0) Add Mini-Spec for openSettings - [`85a7438`](https://github.com/microsoft/terminal/commit/85a74386e9ac826e3eda254033f29f526e6a411e) PR Feedback - [`667dd27`](https://github.com/microsoft/terminal/commit/667dd27574cefa7aeb1612f099fbc945dd487d36) add conclusion and mention 'allSettingsFiles' - [`d93df96`](https://github.com/microsoft/terminal/commit/d93df967e1b11e27ad997f9896e23058fe7a0dde) restructure spec for better flow - [`d53f787`](https://github.com/microsoft/terminal/commit/d53f78729cf870bb4a6bdb0558ec3d21423a657e) add a future consideration ### 📊 Changes **1 file changed** (+135 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `doc/specs/#2557 - Settings Keybinding.md` (+135 -0) </details> ### 📄 Description ## Summary of the Pull Request As I was looking at #2557, I realized that the addition of a Settings UI could make things a little weird. I decided to add a mini spec to discuss what to do. The implementation of this feature shouldn't be too difficult. I more just want to openly discuss what we think the right approach should be. ## References #2557 - open defaults keybinding --- <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:16:40 +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#26534