[go: nahoru, domu]

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

Search: include should have priority over exclude #930

Closed
bpasero opened this issue Dec 2, 2015 · 0 comments
Closed

Search: include should have priority over exclude #930

bpasero opened this issue Dec 2, 2015 · 0 comments
Labels
feature-request Request for new features or functionality search Search widget and operation issues
Milestone

Comments

@bpasero
Copy link
Member
bpasero commented Dec 2, 2015

To investigate: If an include pattern overlaps with an exclude pattern, the include one should win.

@bpasero bpasero added the bug Issue identified by VS Code Team member as probable bug label Dec 2, 2015
@bpasero bpasero self-assigned this Dec 2, 2015
@bpasero bpasero modified the milestones: Dec 2015, Backlog Dec 2, 2015
@bpasero bpasero added feature-request Request for new features or functionality search Search widget and operation issues and removed bug Issue identified by VS Code Team member as probable bug labels Dec 22, 2015
@bpasero bpasero removed their assignment Dec 22, 2015
@bpasero bpasero self-assigned this Mar 30, 2016
@bpasero bpasero removed their assignment Aug 17, 2016
@bpasero bpasero closed this as completed Sep 16, 2018
@vscodebot vscodebot bot locked and limited conversation to collaborators Oct 31, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality search Search widget and operation issues
Projects
None yet
Development

No branches or pull requests

1 participant