Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
[EXPLORER] File Search #1869
JIRA issue: CORE-9279
This pull request adds search functionality to the file explorer. Here are the main features:
The regular * ? characters in the search is what existed since more than 20 years and what also exist on Linux (besides the regexps), so we expect people to know what to use there. No-one knows exactly how to use the search on Vista+ as efficiently as before anyways, so I don't think adding extra help would be needed. At most one could program a tooltip/balloon showing when the user points on the search box, telling the quick tips how to use it.