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.

Sign up for GitHub

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

Jump to bottom

Wrong title for settings.editor options #57324

Closed
jrieken opened this issue Aug 28, 2018 · 0 comments
Closed

Wrong title for settings.editor options #57324

jrieken opened this issue Aug 28, 2018 · 0 comments
Assignees
@roblourens
Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Milestone
August 2018

Comments

@jrieken
Copy link
Member

jrieken commented Aug 28, 2018

re #57304

  • open settings UI
  • locate settings.editor
  • open drop down and hover over options
  • 🐛 the description text is wrong

aug-28-2018 09-29-10
@roblourens roblourens added bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues labels Aug 28, 2018
@roblourens roblourens added this to the August 2018 milestone Aug 28, 2018
@jrieken jrieken added the verified Verification succeeded label Aug 30, 2018
@vscodebot vscodebot bot locked and limited conversation to collaborators Oct 12, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@roblourens roblourens

Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Projects
None yet
Milestone
August 2018
Development

No branches or pull requests
2 participants
@roblourens @jrieken