search mathlib in vscode

Stream: new members

[Chris M]

Is there an easy way to search the entire contents of mathlib within VSCode, in the panel on the left where the entire contents are shown?

[Alex J. Best]

If you click the three dots to the bottom right of the search box, two boxes open, files to include and files to exclude, on the right of the files to exclude is a little cog icon, it should be deselected to search all of mathlib