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 match in Settings search #27677

Closed
cnshenj opened this issue May 31, 2017 · 2 comments
Closed

Wrong match in Settings search #27677

cnshenj opened this issue May 31, 2017 · 2 comments
Assignees
@sandy081
Labels
bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues verified Verification succeeded
Milestone
June 2017

Comments

@cnshenj
Copy link

cnshenj commented May 31, 2017 •
edited

  • VSCode Version: 1.12.2
  • OS Version: Windows 10 x64

Steps to Reproduce:

  1. Open User Settings
  2. Type "long" in search bar

Expected: "long" in Settings file matched and highlighted
Actual: One setting "window.title" matched. The highlighted text is "g. V" in this line:

// ${appName}: e.g. VS Code
@roblourens
Copy link
Member

Weird. "Long" appears a few lines above.
image

@CoenraadS
Copy link
Contributor

CoenraadS commented Jun 8, 2017 •
edited

  • VSCode Version: Code - Insiders 1.13.0-insider (376c52b, 2017-06-07T22:51:42.990Z)
  • OS Version: Windows_NT ia32 10.0.15063

Same here:
image

Also more weird behaviour:

image

Note the line skipping, and the first match is actually being matched twice at different locations, the third match is bright orange because it was matched twice..

// Place your settings in this file to overwrite the default settings
{
    "files.autoSave": "onFocusChange",
    "extensions.autoUpdate": true,
    "editor.renderIndentGuides": true,
    "git.confirmSync": false,
    "files.exclude": {
        "**/.git": true,
        "**/.svn": true,
        "**/.hg": true,
        "**/.DS_Store": true,
        "node_modules/": true,
        "out/": true
    },
    "typescript.check.tscVersion": false,
    "zenMode.hideTabs": false,
    "workbench.welcome.enabled": false,
    "editor.snippetSuggestions": "inline",
    "workbench.iconTheme": "vs-seti",
    "git.enableSmartCommit": true,
    "typescript.referencesCodeLens.enabled": false,
    "extensions.ignoreRecommendations": false,
    "editor.minimap.enabled": false,
    "javascript.implicitProjectConfig.checkJs": true,
    "gitlens.codeLens.enabled": false
}

@sandy081 sandy081 added bug Issue identified by VS Code Team member as probable bug settings-editor VS Code settings editor issues labels Jun 9, 2017
@sandy081 sandy081 added this to the June 2017 milestone Jun 9, 2017
@alexdima alexdima added the verified Verification succeeded label Jun 29, 2017
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 17, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@sandy081 sandy081

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
June 2017
Development

No branches or pull requests
5 participants
@roblourens @alexdima @CoenraadS @cnshenj @sandy081