-
Notifications
You must be signed in to change notification settings - Fork 38k
Closed
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bugeditor-contribEditor collection of extrasEditor collection of extrassettings-editorVS Code settings editor issuesVS Code settings editor issuesverifiedVerification succeededVerification succeeded
Milestone
Description
- Open your user settings JSON file and make several things invalid
- Leave the settings JSON open, but switch to another file
- Press F8 - this will jump you to the first problem in the settings JSON file
- Press F8 again - nothing happens (expected: go to second problem in file)
This seems to be because the first F8 that takes you to the settings JSON doesn't place focus in there, so pressing F8 again doesn't move you to the next one. If you manually click in the right side of the editor and then press F8, then it works as expected.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bugeditor-contribEditor collection of extrasEditor collection of extrassettings-editorVS Code settings editor issuesVS Code settings editor issuesverifiedVerification succeededVerification succeeded