The @theia/search-in-workspace extension provides the ability to perform searches over all files in a given workspace using different search techniques.
Search Widget
The @theia/search-in-workspace extension contributes the Search widget which is capable of performing different types of searches include the possibility to:
Perform standard searches
Perform searches using regular expressions
Perform searches within an include list (search for specific types of files (ex: *.ts))
Perform searches excluding files or directories (using exclude)
Perform searches ignoring hidden or excluded files/folders
Perform search and replace (to quickly update multiple occurrences of a search term)