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

GUI - Search for: "Everything" #214

Closed
dsrbecky opened this issue Jun 3, 2011 · 2 comments
Closed

GUI - Search for: "Everything" #214

dsrbecky opened this issue Jun 3, 2011 · 2 comments
Labels
New Feature
Milestone
2.4

Comments

@dsrbecky
Copy link
Member

dsrbecky commented Jun 3, 2011

What about having an option to look for "Everything" / "Anything" / "All"?
@dgrunwald
Copy link
Member

What is "Everything"?

I want to add a search for (string) constants as well, but "everything" then isn't very useful. Maybe a "types and members" option?

@dsrbecky
Copy link
Member Author

Yes, "types and members" in that case

@siegfriedpammer siegfriedpammer added this to the vNext milestone Apr 27, 2016
@siegfriedpammer siegfriedpammer modified the milestones: vNext, 2.4 Jun 5, 2016
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 11, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
New Feature
Projects
None yet
Milestone
2.4
Development

No branches or pull requests
3 participants
@dgrunwald @dsrbecky @siegfriedpammer