Skip to content
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

Override settings names to capitalize the H in GitHub #241903

Closed
cassidoo opened this issue Feb 25, 2025 · 1 comment
Closed

Override settings names to capitalize the H in GitHub #241903

cassidoo opened this issue Feb 25, 2025 · 1 comment
Assignees
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders settings-editor VS Code settings editor issues verified Verification succeeded
Milestone

Comments

@cassidoo
Copy link
Contributor

Hey y'all! Right now, it's my understanding that settings display names are rendered like: github.foo.bar to Github > Foo > Bar.

But, that means that the GitHub settings names are heretical (lol) and have a lowercase h instead of an uppercase one!

Image

Is there an override mechanism in place to fix this, and if so, could that be applied?

@rzhao271 rzhao271 added bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues labels Feb 25, 2025
@rzhao271 rzhao271 modified the milestones: On Deck, February 2025 Feb 25, 2025
@rzhao271
Copy link
Contributor

rzhao271 commented Feb 26, 2025

Should be closed by #241911, though GitHub doesn't seem to be picking it up. Thanks for the issue and PR, Cassidy!

@vs-code-engineering vs-code-engineering bot added the unreleased Patch has not yet been released in VS Code Insiders label Feb 26, 2025
@vs-code-engineering vs-code-engineering bot added insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Feb 27, 2025
@eleanorjboyd eleanorjboyd added the verified Verification succeeded label Feb 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders settings-editor VS Code settings editor issues verified Verification succeeded
Projects
None yet
Development

No branches or pull requests

3 participants