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

Typo in the description of setting editor.snippetFinalTabstopHighlightBoarder #103129

Closed
e-cal opened this issue Jul 23, 2020 · 0 comments · Fixed by #103130
Closed

Typo in the description of setting editor.snippetFinalTabstopHighlightBoarder #103129

e-cal opened this issue Jul 23, 2020 · 0 comments · Fixed by #103130
Assignees
@jrieken
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders snippets verified Verification succeeded
Milestone
July 2020

Comments

@e-cal
Copy link

e-cal commented Jul 23, 2020

Issue Type: Bug

  1. Open settings.json
  2. Start typing "editor.snippetFinalTabstopHighlightBorder"
  3. Show suggestion and suggestion details (reads: "Highlight border color of the final stabstop of a snippet")

VS Code version: Code 1.47.2 (17299e4, 2020-07-15T18:22:06.216Z)
OS version: Windows_NT x64 10.0.19041
MrHeer added a commit to MrHeer/vscode that referenced this issue Jul 23, 2020
@MrHeer
Fixes microsoft#103129
9934afd 
Typo in the description of setting editor.snippetFinalTabstopHighlightBoarder
stabstop -> tabstop
@MrHeer MrHeer mentioned this issue Jul 23, 2020
Merged
joaomoreno added a commit that referenced this issue Jul 23, 2020
@joaomoreno
Merge pull request #103130 from MrHeer/patch-1
a473814 
Fixes #103129
@joaomoreno joaomoreno added this to the July 2020 milestone Jul 23, 2020
@joaomoreno joaomoreno added bug Issue identified by VS Code Team member as probable bug snippets labels Jul 23, 2020
@RMacfarlane RMacfarlane added the verified Verification succeeded label Aug 6, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Sep 6, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jrieken jrieken

Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders snippets verified Verification succeeded
Projects
None yet
Milestone
July 2020
Development

Successfully merging a pull request may close this issue.

Fixes #103129 MrHeer/vscode
5 participants
@joaomoreno @jrieken @RMacfarlane @e-cal and others