[PR #16873] Remove the "set default terminal" banner #31030

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

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

State: closed
Merged: Yes


Default Terminal: Everyone who cares to know, knows. Everyone who doesn't, has an annoying bar above all terminals

I had to introduce a workaround for the fact that unknown dismissed message keys in state.json result in Terminal exploding on launch. 😁 That's tracked in #16874.

Closes #11930 (but not in the way you'd expect)

**Original Pull Request:** https://github.com/microsoft/terminal/pull/16873 **State:** closed **Merged:** Yes --- **Default Terminal**: Everyone who cares to know, knows. Everyone who doesn't, has an annoying bar above all terminals I had to introduce a workaround for the fact that unknown dismissed message keys in `state.json` result in Terminal exploding on launch. :grin: That's tracked in #16874. Closes #11930 (but not in the way you'd expect)
claunia added the pull-request label 2026-01-31 09:44: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#31030