[PR #3931] Add some issue numbers for TODOs from #3468 #25563

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

Original Pull Request: https://github.com/microsoft/terminal/pull/3931

State: closed
Merged: Yes


Summary of the Pull Request

The original PR had a few TODOs in it without issue numbers. IMO, this wasn't important enough to block the PR over. Also I'm impatient and wanted that setting.

After I merged the PR I created the issues and added the numbers myself.

References

PR Checklist

  • Closes nothing, this just adds a couple TODOs
  • I work here
  • this really doesn't need tests
  • This is a docs update
**Original Pull Request:** https://github.com/microsoft/terminal/pull/3931 **State:** closed **Merged:** Yes --- ## Summary of the Pull Request The original PR had a few TODOs in it without issue numbers. IMO, this wasn't important enough to block the PR over. _Also I'm impatient and wanted that setting_. After I merged the PR I created the issues and added the numbers myself. ## References ## PR Checklist * [x] Closes nothing, this just adds a couple TODOs * [x] I work here * [x] this _really_ doesn't need tests * [x] This _is_ a docs update
claunia added the pull-request label 2026-01-31 09:10:19 +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#25563