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

Can't remove "Other files" search group #80158

Closed

roblourens opened this issue Aug 31, 2019 · 0 comments · Fixed by microsoft/azuredatastudio#7206

Assignees

Labels

bug search verified

Milestone

Member

roblourens commented Aug 31, 2019

Open a folder
Open an untitled file or a file outside of the workspace
Do a search that matches something in both the folder and the other file
See the "Other files" group in the search results, click the 'x' on that group
Nothing happens

roblourens added bug search labels

roblourens added this to the September 2019 milestone

roblourens self-assigned this

roblourens closed this as completed in

bdb2822

anthonydresser mentioned this issue

Merge from vscode 64980ea1f3f532c82bb6c28d27bba9ef2c5b4463 microsoft/azuredatastudio#7206

Merged

bpasero added the verified label

vscodebot bot locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.