New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove the "set default terminal" banner #16873
Conversation
Everyone who cares to know, knows. Everyone who doesn't, has an annoying bar above all terminals
Since we can't delete keys from the enum mapper used in ApplicationState here, I chose to introduce a new key called I'll file a bug and replace the GH# placeholder |
I'm tempted to say we should only pull the defterm one. People hated the KB service one, but we also don't get complaints about it anymore. I'd bet that if we delete the warning, we're surely going to get people who's KB no worky once again. |
**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) (cherry picked from commit febfbeb) Service-Card-Id: 92139784 Service-Version: 1.20
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)