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

Cmd+P search files should also search for opened files regardless of gitignore #4599

Closed
1 task done
futurist opened this issue Jul 23, 2023 · 2 comments
Closed
1 task done

Cmd+P search files should also search for opened files regardless of gitignore #4599

futurist opened this issue Jul 23, 2023 · 2 comments
Labels
enhancement [core label] file finder Feedback for file management, navigation, etc git Git integration feedback priority request A request from a stakeholder or influential user

Comments

@futurist
Copy link

Check for existing issues

  • Completed

Describe the feature

After opening some files from node_modules, in a node.js repo, list of Cmd+P search files don't include the opened files in node_modules because it's git-ignored.

The opened files should be listed when searching for files, even if they're git-ignored.

If applicable, add mockups / screenshots to help present your vision of the feature

No response
@futurist futurist added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Jul 23, 2023
@JosephTLyons JosephTLyons added file finder Feedback for file management, navigation, etc and removed triage Maintainer needs to classify the issue admin read Pending admin review labels Jul 23, 2023
@futurist futurist changed the title Cmd+P search files should also search for opened files Cmd+P search files should also search for opened files regardless of gitignore Jul 24, 2023
@JosephTLyons
Copy link
Collaborator

Related:

@JosephTLyons JosephTLyons transferred this issue from zed-industries/community Jan 24, 2024
@JosephTLyons JosephTLyons mentioned this issue Jul 28, 2023
Closed
1 task
@JosephTLyons JosephTLyons added the priority request A request from a stakeholder or influential user label Mar 4, 2024
@JosephTLyons JosephTLyons mentioned this issue Apr 25, 2024
Closed
1 task
@JosephTLyons JosephTLyons added the git Git integration feedback label Apr 25, 2024
@notpeter
Copy link
Member

I am no longer able to reproduce this issue and I believe it has been fixed.
If this is incorrect, please comment and I'm happy to reopen.
Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement [core label] file finder Feedback for file management, navigation, etc git Git integration feedback priority request A request from a stakeholder or influential user
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@notpeter @futurist @JosephTLyons